On the Orbits of Hyperhypersimple Sets
Maass, Wolfgang
J. Symbolic Logic, Tome 49 (1984) no. 1, p. 51-62 / Harvested from Project Euclid
This paper contributes to the question of under which conditions recursively enumerable sets with isomorphic lattices of recursively enumerable supersets are automorphic in the lattice of all recursively enumerable sets. We show that hyperhypersimple sets (i.e. sets where the recursively enumerable supersets form a Boolean algebra) are automorphic if there is a $\Sigma^0_3$-definable isomorphism between their lattices of supersets. Lerman, Shore and Soare have shown that this is not true if one replaces $\Sigma^0_3$ by $\Sigma^0_4$.
Publié le : 1984-03-14
Classification: 
@article{1183741474,
     author = {Maass, Wolfgang},
     title = {On the Orbits of Hyperhypersimple Sets},
     journal = {J. Symbolic Logic},
     volume = {49},
     number = {1},
     year = {1984},
     pages = { 51-62},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741474}
}
Maass, Wolfgang. On the Orbits of Hyperhypersimple Sets. J. Symbolic Logic, Tome 49 (1984) no. 1, pp.  51-62. http://gdmltest.u-ga.fr/item/1183741474/