Translator Disclaimer
December 2013 Spectra of atomic theories
Uri Andrews, Julia F. Knight
J. Symbolic Logic 78(4): 1189-1198 (December 2013). DOI: 10.2178/jsl.7804100

Abstract

For a countable structure $\mathcal{B}$, the spectrum is the set of Turing degrees of isomorphic copies of $\mathcal{B}$. 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.

Citation

Download Citation

Uri Andrews. Julia F. Knight. "Spectra of atomic theories." J. Symbolic Logic 78 (4) 1189 - 1198, December 2013. https://doi.org/10.2178/jsl.7804100

Information

Published: December 2013
First available in Project Euclid: 5 January 2014

zbMATH: 1327.03025
MathSciNet: MR3156519
Digital Object Identifier: 10.2178/jsl.7804100

Subjects:
Primary: 03C57

Rights: Copyright © 2013 Association for Symbolic Logic

JOURNAL ARTICLE
10 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.78 • No. 4 • December 2013
Back to Top