Topological conjugations are not constructable

Abstract

We construct two computable topologically conjugate functions for which no conjugacy is computable, or even hyperarithmetic, resolving an open question of Kennedy and Stockman.

9 pages. v2 adds a note on folklore

References in corpus (1)

• The Complexity of Orbits of Computably Enumerable Sets