Almost complemented Π0 1 classes

Archive for Mathematical Logic 45 (5):555-568 (2006)
  Copy   BIBTEX

Abstract

We explore an analogue of major subset for Π0 1 classes, which leads to the definition and characterization of almost complemented Π0 1 classes

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-005-0293-z

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Small Π0 1 Classes.Stephen Binns - 2005 - Archive for Mathematical Logic 45 (4):393-410.
Density of the Medvedev lattice of Π0 1 classes.Douglas Cenzer & Peter G. Hinman - 2003 - Archive for Mathematical Logic 42 (6):583-600.
A Minimal Pair of Π0 1 Classes.Carl G. Jockusch Jr & Robert I. Soare - 1971 - Journal of Symbolic Logic 36 (1):66 - 78.
The Medvedev lattice of computably closed sets.Sebastiaan A. Terwijn - 2006 - Archive for Mathematical Logic 45 (2):179-190.
On one-sided versus two-sided classification.Stephan Frank - 2001 - Archive for Mathematical Logic 40 (7):489-513.
Embeddings into the Medvedev and Muchnik lattices of Π0 1 classes.Stephen Binns & Stephen G. Simpson - 2004 - Archive for Mathematical Logic 43 (3):399-414.
The isomorphism problem for classes of computable fields.Wesley Calvert - 2004 - Archive for Mathematical Logic 43 (3):327-336.
A term rewriting characterization of the functions computable in polynomial space.Isabel Oitavem - 2002 - Archive for Mathematical Logic 41 (1):35-47.
and the existence of strong divisible closures (ACA0). Section 8 deals more directly with computability issues and discusses the relationship between Π0. [REVIEW]Reed Solomon - 1999 - Bulletin of Symbolic Logic 5 (1).

Analytics

Added to PP
2013-11-23

Downloads
28 (#781,264)

6 months
8 (#528,772)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Choice classes.Ahmet Çevik - 2016 - Mathematical Logic Quarterly 62 (6):563-574.
Minimal extensions of Π01 classes.Douglas Cenzer & Farzan Riazati - 2005 - Mathematical Logic Quarterly 51 (2):206-216.

Add more citations

References found in this work

No references found.

Add more references