Abstract
IfF is an automorphism of the degrees of unsolvability that preserves the jump operator, thenF leaves fixed all the degreesc that satisfyc≧0 (3).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Dick Epstein,The Undecidability of Theories of Degrees of Unsolvability, Mathematics Department, Victoria University of Wellington, Wellington, New Zealand, 1977.
Carl G. Jockusch, Jr. and Robert W. Solovay,Fixed points of jump preserving automorphisms of degrees, Israel J. Math.26 (1977), 91–94.
A. H. Lachlan and R. Lebeuf,Countable initial segments of the degrees of unsolvability, J. Symbolic Logic41 (1976), 289–300.
Hartley Rogers, Jr.,Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967.
Author information
Authors and Affiliations
Additional information
The results of this paper were part of the author’s PhD thesis (Illinois 1977), supervised by Carl G. Jockusch, Jr.
Rights and permissions
About this article
Cite this article
Richter, L.J. On automorphisms of the degrees that preserve jumps. Israel J. Math. 32, 27–31 (1979). https://doi.org/10.1007/BF02761181
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02761181