Fixed points of jump preserving automorphisms of degrees
From MaRDI portal
Publication:1244338
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
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