Journal of Symbolic Logic

On the Orbits of Hyperhypersimple Sets

Wolfgang Maass

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


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$.

Article information

J. Symbolic Logic, Volume 49, Issue 1 (1984), 51-62.

First available in Project Euclid: 6 July 2007

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier



Maass, Wolfgang. On the Orbits of Hyperhypersimple Sets. J. Symbolic Logic 49 (1984), no. 1, 51--62.

Export citation