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

Loading full text...

Similar articles

Loading recommendations...

x1

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

Click on play to start listening