The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees
From MaRDI portal
Publication:2344718
DOI10.1016/j.apal.2015.03.004zbMath1353.03042MaRDI QIDQ2344718
Guohua Wu, Yue Yang, Rodney G. Downey
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
computably enumerable degrees; \(\Pi_1^0\) classes; thin \(\Pi_1^0\) classes; Cantor-Bendixson ranks
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.
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Members of countable \(\Pi ^ 0_ 1\) classes
- On \(\Pi{}^ 0_ 1\) classes and their ranked points
- Countable thin \(\Pi^0_1\) classes
- On the degrees less than 0'
- Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees
- On the Cantor-Bendixon rank of recursively enumerable sets
- Effective content of field theory
- On the ranked points of a Π10 set
- Relationships Between Reducibilities
- Axiomatizable theories with few axiomatizable extensions
- ∏ 0 1 Classes and Degrees of Theories