Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 71, Issue 1 (2006), 252-264.
Jump operator and Yates degrees
In , 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 , 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.
J. Symbolic Logic Volume 71, Issue 1 (2006), 252-264.
First available in Project Euclid: 22 February 2006
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Wu, Guohua. Jump operator and Yates degrees. J. Symbolic Logic 71 (2006), no. 1, 252--264. doi:10.2178/jsl/1140641173. https://projecteuclid.org/euclid.jsl/1140641173