DNR and incomparable Turing degrees
From MaRDI portal
Publication:6260758
DOI10.1017/FMS.2016.3zbMath1528.03094arXiv1504.02805MaRDI QIDQ6260758
Michael McInerney, Minzhong Cai, Noam Greenberg
Publication date: 10 April 2015
Foundations of classical theories (including reverse mathematics) (03B30) Recursive functions and relations, subrecursive hierarchies (03D20) Other Turing degree structures (03D28)
This page was built for publication: DNR and incomparable Turing degrees