The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees

DOI10.1016/j.apal.2015.03.004zbMath1353.03042MaRDI QIDQ2344718

Yue Yang, Rodney G. Downey, Guohua Wu

Publication date: 15 May 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2015.03.004

zbMATH Keywords

computably enumerable degrees; \(\Pi_1^0\) classes; thin \(\Pi_1^0\) classes; Cantor-Bendixson ranks

Mathematics Subject Classification ID

03D25: Recursively (computably) enumerable sets and degrees

03D30: Other degrees and reducibilities in computability and recursion theory

03D28: Other Turing degree structures

03D60: Computability and recursion theory on ordinals, admissible sets, etc.