Members of countable \(\Pi ^ 0_ 1\) classes
From MaRDI portal
Publication:1084100
DOI10.1016/0168-0072(86)90067-9zbMath0605.03020OpenAlexW2017892908MaRDI QIDQ1084100
Robert I. Soare, Douglas Cenzer, Stanley S. Wainer, Rick L. Smith, Peter Clote
Publication date: 1986
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(86)90067-9
Undecidability and degrees of sets of sentences (03D35) Other degrees and reducibilities in computability and recursion theory (03D30) Ordinal and cardinal numbers (03E10) Hierarchies of computability and definability (03D55)
Related Items
A rank one cohesive set, Optimal bounds for ordinal comparison maps, Degrees containing members of thin Π10 classes are dense and co-dense, A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs, Reals n-generic relative to some perfect tree, Turing degrees and randomness for continuous measures, Degree-theoretic bounds on the morley rank, Computability of countable subshifts in one dimension, Countable thin \(\Pi^0_1\) classes, Π10 classes and strong degree spectra of relations, On the degree spectrum of a $\Pi ^0_1$ class, Invariance in ℰ* and ℰ_{Π}, On the ranked points of a Π10 set, A cardinality version of Beigel's nonspeedup theorem, Meeting of the Association for Symbolic Logic, Index sets for \(\Pi^0_1\) classes, Measures and their random reals, Π10 classes with complex elements, The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees, On the Cantor-Bendixon rank of recursively enumerable sets
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Degrees of members of \(\Pi_ 1^ 0\) classes
- On Recursive Trees with a Unique Infinite Branch
- Hyperarithmetical quantifiers
- Degrees of types and independent sequences
- Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
- On the ranked points of a Π10 set
- ∏ 0 1 Classes and Degrees of Theories
