Back to Search
Start Over
JUMP OPERATOR AND YATES DEGREES.
- Source :
- Journal of Symbolic Logic; Mar2006, Vol. 71 Issue 1, p252-264, 13p
- Publication Year :
- 2006
-
Abstract
- In [9], Yates proved the existence of a Turing degree a such that 0, 0′ are the only c.e. degrees comparable with it. By Slaman and Steel [7], every degree below 0′ has a 1-generic complement, and as a consequence, Yates degrees can be 1-generic, and hence can be low. In this paper, we prove that Yates degrees occur in every jump class. [ABSTRACT FROM AUTHOR]
- Subjects :
- EXISTENCE theorems
MATHEMATICAL logic
LOGIC
MATHEMATICS
SYLLOGISM
Subjects
Details
- Language :
- English
- ISSN :
- 00224812
- Volume :
- 71
- Issue :
- 1
- Database :
- Supplemental Index
- Journal :
- Journal of Symbolic Logic
- Publication Type :
- Academic Journal
- Accession number :
- 20204317
- Full Text :
- https://doi.org/10.2178/jsl/1140641173