DNR and incomparable Turing degrees
classification
🧮 math.LO
keywords
degreesturingincomparableconstructdiagonallyexistencefollowsforms
read the original abstract
We construct an increasing $\omega$-sequence $(a_n)$ of Turing degrees which forms an initial segment of the Turing degrees, and such that each~$a_{n+1}$ is diagonally noncomputable relative to $a_n$. It follows that the~$\mathsf{DNR}$ principle of reverse mathematics does not imply the existence of Turing incomparable degrees.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.