On the ranked points of a Π10 set
- 1 September 1989
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 54 (3), 975-991
- https://doi.org/10.2307/2274757
Abstract
This paper continues joint work of the authors with P. Clote, R. Soare and S. Wainer (Annals of Pure and Applied Logic, vol. 31 (1986), pp. 145–163). An element x of the Cantor space 2ω is said have rank α in the closed set P if x is in Dα(P)/Dα + 1(P), where Dα is the iterated Cantor-Bendixson derivative. The rank of x is defined to be the least α such that x has rank a in some set. The main result of the five-author paper is that for any recursive ordinal λ + n (where λ is a limit and n is finite), there is a point with rank λ + n which is Turing equivalent to O(λ + 2n) All ranked points constructed in that paper are singletons. We now construct a ranked point which is not a singleton. In the previous paper the points of high rank were also of high hyperarithmetic degree. We now construct points with arbitrarily high rank. We also show that every nonrecursive RE point is Turing equivalent to an RE point of rank one and that every nonrecursive point is Turing equivalent to a hyperimmune point of rank one. We relate Clote's notion of the height of a singleton in the Baire space with the notion of rank. Finally, we show that every hyperimmune point x is Turing equivalent to a point which is not ranked.Keywords
This publication has 9 references indexed in Scilit:
- Members of countable π10 classesAnnals of Pure and Applied Logic, 1986
- On recursive trees with a unique infinite branchProceedings of the American Mathematical Society, 1985
- Countable algebra and set existence axiomsAnnals of Pure and Applied Logic, 1983
- Effective content of field theoryAnnals of Mathematical Logic, 1979
- Recursive well-founded orderingsAnnals of Mathematical Logic, 1978
- Recursion-Theoretic HierarchiesPublished by Springer Science and Business Media LLC ,1978
- Degrees of members of Π10classesPacific Journal of Mathematics, 1972
- Countable retracing functions and Π20predicatesPacific Journal of Mathematics, 1969
- The Degrees of Hyperimmune SetsMathematical Logic Quarterly, 1968