A tractable case of the Turing automorphism problem: bi-uniformly E₀-invariant Cantor homeomorphisms

Abstract: A function

F : 2^{o} m e g a o 2^{o} m e g a

is an

E_{0}

-isomorphism if for all

x, y i n 2^{o} m e g a

, we have

x E_{0} y i f f f (x) E_{0} f (y)

, where

x E_{0} y i f f (e x i s t s a) (f o r a l l n g e b) x (n) = y (n)

. If such witnesses

a

for

x E_{0} y

and for

f (x) E_{0} f (y)

depend on each other but not on

x

,

y

, then

F

is called bi-uniform. It is shown that a homeomorphism of Cantor space which is a bi-uniform

E_{0}

-isomorphism can induce only the trivial automorphism of the Turing degrees.

This page was built for publication: A tractable case of the Turing automorphism problem: bi-uniformly $E_0$-invariant Cantor homeomorphisms