Article contents
Spectra of Atomic Theories
Published online by Cambridge University Press: 12 March 2014
Abstract
For a countable structure , the spectrum is the set of Turing degrees of isomorphic copies of . For a complete elementary first order theory T, the spectrum is the set of Turing degrees of models of T. We answer a question from [1] by showing that there is an atomic theory T whose spectrum does not match the spectrum of any structure.
Keywords
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2009
References
REFERENCES
- 2
- Cited by