Fixed points of jump preserving automorphisms of degrees

DOI10.1007/BF03007659zbMath0372.02023OpenAlexW1980970522MaRDI QIDQ1244338

Robert M. Solovay, Carl G. jun. Jockusch

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

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

Related Items

PERMUTATIONS OF THE INTEGERS INDUCE ONLY THE TRIVIAL AUTOMORPHISM OF THE TURING DEGREES, The jump is definable in the structure of the degrees of unsolvability, Unnamed Item, A Rigid Cone in the Truth-Table Degrees with Jump, Permutations of the Integers Induce only the Trivial Automorphism of the Turing Degrees, DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP, Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond, On automorphisms of the degrees that preserve jumps, On homogeneity and definability in the first-order theory of the Turing degrees

Cites Work

• Unnamed Item
• A criterion for completeness of degrees of unsolvability
• Countable initial segments of the degrees of unsolvability
• Distributive Initial Segments of the Degrees of Unsolvability
• Applications of Forcing to the Degree-Theory of the Arithmetical Hierarchy