Abstract
We explore an analogue of major subset for Π01 classes, which leads to the definition and characterization of almost complemented Π01 classes.
Similar content being viewed by others
References
Cenzer, D., Jockusch, C.: Π01 classes–structure and applications. In Computability theory and its applications (Boulder, CO, 1999), Contemp. Math. 257, Amer. Math. Soc. Providence, RI, 2000 pp 39–59
Cholak, P., Coles, R., Downey, R., Herrmann, E.: Automorphisms of the lattice of Π01 classes. Trans. Amer. Math. Soci. 353, 4899–4924 (electronic) (2001)
Lachlan, A.H.: The elementary theory of recursively enumerable sets. Duke Math. Jour. 35, 123–146 (1968)
Author information
Authors and Affiliations
Additional information
Based on a portion of the author's Ph. D. dissertation
Rights and permissions
About this article
Cite this article
Lawton, L. Almost complemented Π01 classes. Arch. Math. Logic 45, 555–568 (2006). https://doi.org/10.1007/s00153-005-0293-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-005-0293-z