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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Journal of Symbolic Logic Vol. 78; no. 4; pp. 1189 - 1199
Autores principales:	ANDREWS, URI, KNIGHT, JULIA F.
Formato:	Artículo
Publicado:	Cambridge University Press Dec2013
Materias:	Spectrum analysis Qualitative chemical analysis Atomic theory Physical & theoretical chemistry Turing (Computer program language)
Acceso en línea:	Ver este registro en EBSCOhost