A characterization of jump operators

DOI10.2307/2274567zbMath0656.03035OpenAlexW2002745768MaRDI QIDQ3803105

Howard Becker

Publication date: 1988

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

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

zbMATH Keywords

axiom of determinacyjump operatorshyperjump

Mathematics Subject Classification ID

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

Related Items (max. 100)

Topological reducibilities for discontinuous functions and their structures ⋮ Uniform Martin’s conjecture, locally ⋮ There is no degree invariant half-jump ⋮ Well-Quasi Orders and Hierarchy Theory ⋮ The uniform Martin’s conjecture for many-one degrees

Cites Work

• Unnamed Item
• Descriptive set theory
• Cabal seminar 76-77. Proceedings, Caltech-UCLA logic seminar 1976-77
• A classification of jump operators
• The axiom of determinateness and reduction principles in the analytical hierarchy
• The fine structure of the constructible hierarchy

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