Minimal Covers and Hyperdegrees

DOI10.2307/1997369MaRDI QIDQ4075452zbMATH OpenOpenAlexFDO

Authors Stephen G. Simpson

Publication date 1975

Full work available at URL https://doi.org/10.2307/1997369

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Descriptive set theory (03E15) Higher-type and set recursion theory (03D65) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites work

• scientific article; zbMATH DE number 3139751 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• A Basis Result for ∑ 0 3 Sets of Reals with an Application to Minimal Covers
• A Nonconstructible Δ 1 3 Set of Integers
• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• A minimal degree not realizing least possible jump
• A minimal hyperdegree
• A minimal pair of Π₁⁰ classes
• An application of Σ₄⁰ determinacy to the degrees of unsolvability
• Bar Induction and Π₁¹-CA
• Borel sets and hyperdegrees
• Countable admissible ordinals and hyperdegrees
• Degrees of members of \(\Pi_ 1^ 0\) classes
• Degrees of unsolvability complementary between recursively enumerable degrees, Part 1
• Degrees of unsolvability of constructible sets of integers
• Determinateness in the low protective hierarchy
• Measurable cardinals and analytic games
• Measure-Theoretic Uniformity in Recursion Theory and Set Theory
• Metarecursive sets
• Minimal Covers and Arithmetical Sets
• Minimal degrees and the jump operator
• On degrees of recursive unsolvability
• On initial segments of hyperdegrees
• Prioric games and minimal degrees below $0^{(1)}$
• Recursive Pseudo-Well-Orderings
• Recursive well-orderings
• The Forcing Method and the Upper Semilattice of Hyperdegrees
• The Theory of Countable Analytical Sets
• The axiom of determinateness and reduction principles in the analytical hierarchy
• The next admissible set
• The α-finite injury method
• ZF ⊦ Σ₄⁰ determinateness
• ∏ 0 1 Classes and Degrees of Theories

Cited in

(6)

• Basis theorem for \(\Sigma_2^1\)-sets
• Cofinal maximal chains in the Turing degrees
• Classes of Polish spaces under effective Borel isomorphism
• On the First Order Theory of the Arithmetical Degrees
• On the Reals Which Cannot Be Random
• Countable admissible ordinals and hyperdegrees

This page was built for publication: Minimal Covers and Hyperdegrees

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