Fixed points of jump preserving automorphisms of degrees

DOI10.1007/BF03007659MaRDI QIDQ1244338zbMATH OpenOpenAlexFDO

Authors Carl G. jun. Jockusch, Robert M. Solovay

Publication date 1977

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03007659

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites work

• scientific article; zbMATH DE number 3373741 (Why is no real title available?)
• A criterion for completeness of degrees of unsolvability
• Applications of Forcing to the Degree-Theory of the Arithmetical Hierarchy
• Countable initial segments of the degrees of unsolvability
• Distributive Initial Segments of the Degrees of Unsolvability

Cited in

(9)

• The jump is definable in the structure of the degrees of unsolvability
• Permutations of the integers induce only the trivial automorphism of the Turing degrees
• Permutations of the integers induce only the trivial automorphism of the Turing degrees
• A Rigid Cone in the Truth-Table Degrees with Jump
• DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
• On automorphisms of the degrees that preserve jumps
• Some properties of an algebra of all sets of naturals e-reducible to a fixed set
• Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond
• On homogeneity and definability in the first-order theory of the Turing degrees

This page was built for publication: Fixed points of jump preserving automorphisms of degrees

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