On the ranked points of a Π10 set

DOI10.2307/2274757zbMath0689.03022OpenAlexW1533027169MaRDI QIDQ4207893

Rick L. Smith, Douglas Cenzer

Publication date: 1989

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

Full work available at URL: https://doi.org/10.2307/2274757

zbMATH Keywords

Baire spacerankCantor spaceCantor-Bendixson derivativeTuring equivalentheight of a \(\Pi ^ 0_ 1\) singletonhyperimmune pointranked pointRE point

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55)

Related Items

Members of countable \(\Pi ^ 0_ 1\) classes, Degrees containing members of thin Π10 classes are dense and co-dense, choice classes, Computability of countable subshifts in one dimension, Countable thin \(\Pi^0_1\) classes, On the degree spectrum of a $\Pi ^0_1$ class, RANK AND RANDOMNESS, The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees

Cites Work

• Unnamed Item
• Unnamed Item
• Countable algebra and set existence axioms
• Members of countable \(\Pi ^ 0_ 1\) classes
• Countable retracing functions and \(\Pi_2^0\) predicates
• Degrees of members of \(\Pi_ 1^ 0\) classes
• Effective content of field theory
• Recursive well-founded orderings
• The Degrees of Hyperimmune Sets
• Class groups of integral group rings