Sign in

A tractable case of the Turing automorphism problem: bi-uniformly \(E_0\)-invariant Cantor homeomorphisms

By Bjørn Kjos-Hanssen
A function \(F:2^\omega\to 2^\omega\) is an \(E_0\)-isomorphism if for all \(x,y\in 2^\omega\), we have \(xE_0y\iff f(x)E_0 f(y)\), where \(xE_0y\iff(\exists a)(\forall n\ge b) x(n)=y(n)\). If such witnesses \(a\) for \(xE_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... Show more
August 28, 2020
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
A tractable case of the Turing automorphism problem: bi-uniformly $E_0$-invariant Cantor homeomorphisms
Click on play to start listening