Abstract
It is shown that any jump preserving order automorphismF of the degrees of unsolvability must satisfyF(c) = c for all degreesc≧0 (4). The proof uses a result on initial segments of degrees in combination with an iteration of the Friedberg completeness criterion.
Similar content being viewed by others
References
R. M. Friedberg,A criterion for completeness of degrees of unsolvability, J. Symbolic Logic22 (1957), 159–160.
A. H. Lachlan,Distributive initial segments of the degrees of unsolvability, Z. Math. Logik. Grundlagen Math.14 (1968), 457–472.
A. H. Lachlan and R. Lebeuf,Countable initial segments of the degrees of unsolvability, J. Symbolic Logic41 (1976), 289–300.
A. L. Selman,Applications of forcing to the degree-theory of the arithmetical hierarchy, Proc. London Math. Soc.25 (3) (1972), 586–602.
C. E. M. Yates,Initial segments and implications for the structure of degrees, inConference in Mathematical Logic-London 1970 (Lecture Notes in Mathematics Vol. 255), Springer-Verlag, Berlin, Heidelberg, New York, 1972, pp. 305–335.
Author information
Authors and Affiliations
Additional information
This work was partially supported by NSF Grant MPS 74-07499 at the University of Illinois at Urbana-Champaign.
This work was partially supported by NSF Grant GP 38753X at the University of California, Berkeley.
Rights and permissions
About this article
Cite this article
Jockusch, C.G., Solovay, R.M. Fixed points of jump preserving automorphisms of degrees. Israel J. Math. 26, 91–94 (1977). https://doi.org/10.1007/BF03007659
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF03007659