scientific article; zbMATH DE number 1531920

zbMath0962.03040MaRDI QIDQ4513963

Carl G. jun. Jockusch, Douglas Cenzer

Publication date: 11 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reverse mathematicsindex setslattice structureTuring degrees\(\Pi^0_1\) classescomplexity of solutionseffective Ramsey theoryeffectively closed sets of reals

Mathematics Subject Classification ID

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

Related Items (9)

Turing incomparability in Scott sets ⋮ Infinite dimensional proper subspaces of computable vector spaces ⋮ A measure-theoretic proof of Turing incomparability ⋮ Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\) ⋮ Decidability of the AE-theory of the lattice of \({\Pi}_1^0\) classes ⋮ The upward closure of a perfect thin class ⋮ Almost complemented \(\Pi^{0}_{1}\) classes ⋮ Invariance in ℰ* and ℰ_{Π} ⋮ On realization of index sets in \(\Pi_1^0\)-classes

This page was built for publication: