DNR and incomparable Turing degrees
Logic
2015-04-14 v1
Abstract
We construct an increasing -sequence of Turing degrees which forms an initial segment of the Turing degrees, and such that each~ is diagonally noncomputable relative to . It follows that the~ principle of reverse mathematics does not imply the existence of Turing incomparable degrees.
Cite
@article{arxiv.1504.02805,
title = {DNR and incomparable Turing degrees},
author = {Mingzhong Cai and Noam Greenberg and Michael McInerney},
journal= {arXiv preprint arXiv:1504.02805},
year = {2015}
}