A characterization of jump operators

DOI10.2307/2274567MaRDI QIDQ3803105zbMATH OpenOpenAlexFDO

Authors 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 determinacyhyperjumpjump operators

Mathematics Subject Classification ID

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

Recommendations

• A Remark on Pseudo-Jump Operators
• A result about pseudo jump operators
• Jump Theorems for REA Operators
• A non-inversion theorem for the jump operator
• A fixed point for the jump operator on structures
• Fixed points for the jump operator
• Operators with jumping nonlinearities and combinatorics
• A characterization of operator algebras
• A characterization of non-regular operators
• scientific article; zbMATH DE number 2051057

Cites work

• A classification of jump operators
• Cabal seminar 76-77. Proceedings, Caltech-UCLA logic seminar 1976-77
• Descriptive set theory
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• The axiom of determinateness and reduction principles in the analytical hierarchy
• The fine structure of the constructible hierarchy

Cited in

(8)

• Topological reducibilities for discontinuous functions and their structures
• Well-Quasi Orders and Hierarchy Theory
• There is no degree invariant half-jump
• The uniform Martin's conjecture for many-one degrees
• Some jump-like operations in \(\beta\)-recursion theory.
• Uniform Martin's conjecture, locally
• A result about pseudo jump operators
• Fixed points for the jump operator

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

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