Article contents
Definable structures in the lattice of recursively enumerable sets
Published online by Cambridge University Press: 12 March 2014
Abstract
It will be shown that in the lattice of recursively enumerable sets one can define elementarily with parameters a structure isomorphic to (), i.e. isomorphic to the lattice of sets together with a unary predicate selecting out exactly the sets.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1984
References
REFERENCES
- 2
- Cited by