SPECTRA OF ATOMIC THEORIES.
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 [l] by showing that there is an atomic theory T whose spectrum does no...
| Publicado en: | Journal of Symbolic Logic Vol. 78; no. 4; pp. 1189 - 1199 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Dec2013
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | 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 [l] by showing that there is an atomic theory T whose spectrum does not match the spectrum of any structure. |
|---|