Isomorphisms of splits of computably enumerable sets
Peter A. Cholak, Leo A. Harrington · Journal of Symbolic Logic · 2003
Abstract We show that if A and are automorphic via Φ then the structures (A) and ( ) are Δ30-isomorphic via an isomorphism Ψ induced by Φ. Then we use this result to classify completely the orbits of hhsimple sets.