A classification of jump operators

DOI10.2307/2273146MaRDI QIDQ3037408zbMATH OpenOpenAlexFDO

Authors John Steel

Publication date 1982

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

determinacyjump operatorsordinal measure of strength for theories in the language of second order arithmeticTuring degreesTuring reducibility

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Determinacy principles (03E60)

Cites work

• A degree-theoretic definition of the ramified analytical hierarchy
• Jumping through the transfinite: the master code hierarchy of Turing degrees
• The axiom of determinateness and reduction principles in the analytical hierarchy
• The fine structure of the constructible hierarchy

Cited in

(18)

• Inner model operators in \(L(\mathbb{R})\)
• Topological reducibilities for discontinuous functions and their structures
• Degree-invariant, analytic equivalence relations without perfectly many classes
• Hod mice and the mouse set conjecture
• Well-Quasi Orders and Hierarchy Theory
• Inner Model Operators and the Continuum Hypothesis
• A characterization of jump operators
• There is no degree invariant half-jump
• Degree spectra of relations on a cone
• The uniform Martin's conjecture for many-one degrees
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• Turing degrees in Polish spaces and decomposability of Borel functions
• Uniform Martin's conjecture, locally
• A Π¹₁-uniformization principle for reals
• The comparison lemma
• On the hierarchy of natural theories
• Part 1 of Martin's conjecture for order-preserving and measure-preserving functions
• On a question of Slaman and Steel

This page was built for publication: A classification of jump operators

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