Sign in

Un cas traitable du problème de l'automorphisme de Turing: homéomorphismes de Cantor bi-uniformément $E_0 inv-invariants

By Bjørn Kjos-Hanssen
Une fonction \(F:2^\omega\2^\omega\) est un \(E_0\)-isomorphisme si, pour tout \(x,y\in 2^\omega\), nous avons \(xE_0y\ssi f(x)E_0 f(y)\), où \(xE_0y\iff(\exists a)(\forall n\ge b) x(n)=y(n)\). Si ces témoins \(a\) pour \(xE_0 y\) et \(f(x)E_0 f(y)\) dépendent les uns des autres, mais pas sur \(x\), \(y\), alors \(F\) est appelé bi-uniforme. On montre qu'un... 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