Back to Search
Start Over
Degrees containing members of thin Π10 classes are dense and co-dense.
- Source :
-
Journal of Mathematical Logic . Jun2018, Vol. 18 Issue 1, pN.PAG-N.PAG. 47p. - Publication Year :
- 2018
-
Abstract
- In [Countable thin Π10 classes, Ann. Pure Appl. Logic59 (1993) 79–139], Cenzer, Downey, Jockusch and Shore proved the density of degrees (not necessarily c.e.) containing members of countable thin Π10 classes. In the same paper, Cenzer et al. also proved the existence of degrees containing no members of thin Π10 classes. We will prove in this paper that the c.e. degrees containing no members of thin Π10 classes are dense in the c.e. degrees. We will also prove that the c.e. degrees containing members of thin Π10 classes are dense in the c.e. degrees, improving the result of Cenzer et al. mentioned above. Thus, we obtain a new natural subclass of c.e. degrees which are both dense and co-dense in the c.e. degrees, while the other such class is the class of branching c.e. degrees (See [P. Fejer, The density of the nonbranching degrees, Ann. Pure Appl. Logic24 (1983) 113–130] for nonbranching degrees and [T. A. Slaman, The density of infima in the recursively enumerable degrees, Ann. Pure Appl. Logic52 (1991) 155–179] for branching degrees). [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 02190613
- Volume :
- 18
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Journal of Mathematical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 129945449
- Full Text :
- https://doi.org/10.1142/S0219061318500010