Abstract
In the 1960s, Clement F. Kent showed that there are continuum many permutations of \(\omega \) that map computable sets to computable sets. Thus these permutations preserve the bottom Turing degree 0. We show that a permutation of \(\omega \) cannot induce any nontrivial automorphism of the Turing degrees of members of \(2^{\omega }\), and in fact any permutation that induces the trivial automorphism must be computable.
This work was partially supported by a grant from the Simons Foundation (#315188 to Bjørn Kjos-Hanssen). This material is based upon work supported by the National Science Foundation under Grant No. 1545707. The author acknowledges the support of the Institut für Informatik at the University of Heidelberg, Germany during the workshop on Computability and Randomness, June 15 – July 9, 2015.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
de Leeuw, K., Moore, E.F., Shannon, C.E., Shapiro, N.: Computability by probabilistic machines. In: Automata Studies, Annals of Mathematics Studies, vol. 34, pp. 183–212. Princeton University Press, Princeton, N.J. (1956)
Haught, C.A., Slaman, T.A.: Automorphisms in the PTIME-Turing degrees of recursive sets. Ann. Pure Appl. Logic 84(1), 139–152 (1997). Fifth Asian Logic Conference, Singapore (1993)
Jockusch Jr., C.J., Solovay, R.M.: Fixed points of jump preserving automorphisms of degrees. Israel J. Math. 26(1), 91–94 (1977)
Kent, C.F.: Constructive analogues of the group of permutations of the natural numbers. Trans. Amer. Math. Soc. 104, 347–362 (1962)
Kent, C.F.: Algebraic structure of some groups of recursive permutations. Thesis (Ph.D.). Massachusetts Institute of Technology (1960)
Kjos-Hanssen, B.: The probability distribution as a computational resource for randomness testing. J. Log. Anal. 2, Paper 10, 13 (2010)
Miller, B.: The existence of measures of a given cocycle. I. Atomless, ergodic \(\sigma \)-finite measures. Ergodic Theo. Dynam. Syst. 28(5), 1599–1613 (2008)
Nerode, A., Shore, R.A.: Reducibility orderings: theories, definability and automorphisms. Ann. Math. Logic 18(1), 61–89 (1980)
Rogers Jr., H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill Book Co., New York-Toronto, Ont.-London (1967)
Sacks, G.E.: Degrees of Unsolvability. Princeton University Press, Princeton, N.J. (1963)
Slaman, T.A.: Global properties of the turing degrees and the turing jump. In: Computational Prospects of Infinity. Part I. Tutorials. Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap., vol. 14, pp. 83–101. World Sci. Publ., Hackensack, NJ (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Kjos-Hanssen, B. (2017). Permutations of the Integers Induce only the Trivial Automorphism of the Turing Degrees. In: Day, A., Fellows, M., Greenberg, N., Khoussainov, B., Melnikov, A., Rosamond, F. (eds) Computability and Complexity. Lecture Notes in Computer Science(), vol 10010. Springer, Cham. https://doi.org/10.1007/978-3-319-50062-1_35
Download citation
DOI: https://doi.org/10.1007/978-3-319-50062-1_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-50061-4
Online ISBN: 978-3-319-50062-1
eBook Packages: Computer ScienceComputer Science (R0)