Article contents
Orbits of hyperhypersimple sets and the lattice of Σ03 sets
Published online by Cambridge University Press: 12 March 2014
Abstract
It will be shown that in the lattice of recursively enumerable sets all lattices L3(X) are elementarily definable with parameters, where X is and L3(X) consists of all sets containing X.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1983
References
REFERENCES
- 2
- Cited by