Members of thin Π₁⁰ classes and generic degrees
- 29 March 2022
- journal article
- research article
- Published by American Mathematical Society (AMS) in Proceedings of the American Mathematical Society
- Vol. 150 (7), 3125-3131
- https://doi.org/10.1090/proc/15325
Abstract
A Pi(0)(1) class P is thin if every Pi(0)(1) subclass Q of P is the intersection of P with some clopen set. In 1993, Cenzer, Downey, Jockusch and Shore initiated the study of Turing degrees of members of thin Pi(0)(1) classes, and proved that degrees containing no members of thin Pi(0)(1) classes can be recursively enumerable, and can be minimal degree below 0'. In this paper, we work on this topic in terms of genericity, and prove that all 2-generic degrees contain no members of thin Pi(0)(1) classes. In contrast to this, we show that all 1-generic degrees below 0' contain members of thin Pi(0)(1) classes.Keywords
Funding Information
- Ministry of Education - Singapore (MOE2016-T2-1-019 / R146-000-234-112, MOE2019-T2-2-121 / R146-000-304-112, MOE2016-T2-1-083, RG32/16 (M4011672), RG111/19 (M4012245))
This publication has 11 references indexed in Scilit:
- Degrees containing members of thin Π10 classes are dense and co-denseJournal of Mathematical Logic, 2018
- ∏10 Classes in Computability TheoryPublished by Elsevier BV ,1999
- Countable thin Π01 classesAnnals of Pure and Applied Logic, 1993
- The density of infima in the recursively enumerable degreesAnnals of Pure and Applied Logic, 1991
- Minimal degrees recursive in 1-generic degreesAnnals of Pure and Applied Logic, 1990
- The degrees below a 1-generic degree < 0′The Journal of Symbolic Logic, 1986
- The density of the nonbranching degreesAnnals of Pure and Applied Logic, 1983
- ∏ 0 1 Classes and Degrees of TheoriesTransactions of the American Mathematical Society, 1972
- Degrees of members of Π10classesPacific Journal of Mathematics, 1972
- Axiomatizable theories with few axiomatizable extensionsThe Journal of Symbolic Logic, 1970