Degrees containing members of thin Π10 classes are dense and co-dense

DOI10.1142/S0219061318500010MaRDI QIDQ4565754

Yue Yang, Rodney G. Downey, Guohua Wu

Publication date: 13 June 2018

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

density; Turing degrees; \(\Pi_1^0\) classes

Mathematics Subject Classification ID

03D80: Applications of computability and recursion theory

03D25: Recursively (computably) enumerable sets and degrees