Permutations of the integers induce only the trivial automorphism of the Turing degrees
Bj{\o}rn Kjos-Hanssen

TL;DR
This paper proves that any automorphism of the Turing degrees induced by a measure-preserving homeomorphism of the Cantor space must be trivial, showing permutations of natural numbers induce only trivial automorphisms.
Contribution
It establishes that permutations of the natural numbers induce only trivial automorphisms of the Turing degrees, under measure-preserving conditions.
Findings
Any automorphism induced by a measure-preserving homeomorphism is trivial.
Permutations of the natural numbers induce only trivial automorphisms.
Automorphisms induced by permutations are trivial.
Abstract
Let be an automorphism of the Turing degrees induces by a homeomorphism of the Cantor space such that preserves all Bernoulli measures. It is proved that must be trivial. In particular, a permutation of can only induce the trivial automorphism of the Turing degrees.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Advanced Topology and Set Theory · Rings, Modules, and Algebras
