Isomorphisms of splits of computably enumerable sets
Cholak, Peter A. ; Harrington, Leo A.
J. Symbolic Logic, Tome 68 (2003) no. 1, p. 1044-1064 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We show that if A and  are automorphic via Φ then the structures 𝒮ℛ(A) and 𝒮ℛ(Â) are δ03-isomorphic via an isomorphism Ψ induced by Φ. Then we use this result to classify completely the orbits of hhsimple sets.
Publié le : 2003-09-14
Classification:  03D25 
@article{1058448453,
     author = {Cholak, Peter A. and Harrington, Leo A.},
     title = {Isomorphisms of splits of computably enumerable sets},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 1044-1064},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1058448453}
}

Cholak, Peter A.; Harrington, Leo A. Isomorphisms of splits of computably enumerable sets. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  1044-1064. http://gdmltest.u-ga.fr/item/1058448453/