Minimal Covers and Hyperdegrees

DOI10.2307/1997369zbMATH Open0316.02049OpenAlexW4236731166MaRDI QIDQ4075452FDOQ4075452

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

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

Cited In (6)

• 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
• Basis theorem for \(\Sigma_2^1\)-sets

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)