Publication:4513963
From MaRDI portal
zbMath0962.03040MaRDI QIDQ4513963
Carl G. jun. Jockusch, Douglas Cenzer
Publication date: 11 March 2001
reverse mathematics; index sets; lattice structure; Turing degrees; \(\Pi^0_1\) classes; complexity of solutions; effective Ramsey theory; effectively closed sets of reals
03E15: Descriptive set theory
03F60: Constructive and recursive analysis
03C62: Models of arithmetic and set theory
03D80: Applications of computability and recursion theory
03D25: Recursively (computably) enumerable sets and degrees
03F35: Second- and higher-order arithmetic and fragments
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
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}\), The upward closure of a perfect thin class, Decidability of the AE-theory of the lattice of \({\Pi}_1^0\) classes, On realization of index sets in \(\Pi_1^0\)-classes, Almost complemented \(\Pi^{0}_{1}\) classes, Invariance in ℰ* and ℰ_{Π}