scientific article; zbMATH DE number 1531920

MaRDI QIDQ4513963zbMATH OpenFDO

Authors Douglas Cenzer, Carl G. jun. Jockusch

Publication date 11 March 2001

zbMATH Keywords

\(\Pi^0_1\) classescomplexity of solutionseffective Ramsey theoryeffectively closed sets of realsindex setslattice structurereverse mathematicsTuring degrees

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Applications of computability and recursion theory (03D80) Descriptive set theory (03E15) Second- and higher-order arithmetic and fragments (03F35) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 1303200
• Initial segments of the lattice of Π₁⁰ classes
• Countable thin ^0_1 classes
• Index sets for ^0_1 classes
• Global properties of the lattice of \Pi ^0_1 classes

Cited in

(25)

• Index sets for ^0_1 classes
• \(\Pi_1^0\) classes and minimal degrees
• Decidability of the AE-theory of the lattice of \({\Pi}_1^0\) classes
• On realization of index sets in \(\Pi_1^0\)-classes
• Small \(\Pi^{0}_{1}\) classes
• Almost complemented \(\Pi^{0}_{1}\) classes
• Lebesgue density and \(\Pi _1^0\) classes
• choice classes
• Invariance in ℰ* and ℰ_{Π}
• Π₀¹-classes and Rado's selection principle
• Infinite dimensional proper subspaces of computable vector spaces
• scientific article; zbMATH DE number 1303200 (Why is no real title available?)
• Initial segments of the lattice of Π₁⁰ classes
• scientific article; zbMATH DE number 1534538 (Why is no real title available?)
• Minimal extensions of ?01 classes
• scientific article; zbMATH DE number 1864665 (Why is no real title available?)
• Enumerations of ^0_1 classes: acceptability and decidable classes
• The importance of \(\Pi^0_1\) classes in effective randomness
• Turing incomparability in Scott sets
• Π₁⁰ classes with complex elements
• A measure-theoretic proof of Turing incomparability
• On the c.e. degrees realizable in ^0_1 classes
• Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)
• The upward closure of a perfect thin class
• \(\Pi_1^0\) classes, Peano arithmetic, randomness, and computable domination

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4513963)