On the degree spectrum of a $\Pi ^0_1$ class

DOI10.1090/S0002-9947-10-05037-3zbMath1230.03074MaRDI QIDQ3053473

Andrew E. M. Lewis, Thomas F. Kent

Publication date: 29 October 2010

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9947-10-05037-3

zbMATH Keywords

\(\Pi^0_1\) classes; Turing degree spectra

Mathematics Subject Classification ID

03D28: Other Turing degree structures

Related Items

An effectively closed set with no join property*, Mass problems associated with effectively closed sets, Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy, The relationship between word complexity and computational complexity in subshifts, Turing degree spectra of minimal subshifts, choice classes, A note on the join property

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Members of countable \(\Pi ^ 0_ 1\) classes
• On \(\Pi{}^ 0_ 1\) classes and their ranked points
• Countable retracing functions and \(\Pi_2^0\) predicates
• Degrees of members of \(\Pi_ 1^ 0\) classes
• Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees
• Algorithmic Randomness and Complexity
• Mass Problems and Randomness
• MASS PROBLEMS AND HYPERARITHMETICITY
• On the ranked points of a Π₁⁰ set
• An extension of the recursively enumerable Turing degrees
• Π10 classes, strong minimal covers and hyperimmune-free degrees
• Deduction-preserving “recursive isomorphisms” between theories
• Axiomatizable theories with few axiomatizable extensions
• ∏ 0 1 Classes and Degrees of Theories
• Recursive Predicates and Quantifiers