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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=93735890&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 93735890 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00224812 3TY jtl: Journal of Symbolic Logic issn: 00224812 maglogo: N pubinfo: dt: Dec2013 vid: 78 iid: 4 pid: 15979 pub: Cambridge University Press artinfo: ui: 93735890 10.2178/jsl.7804100 ppf: 1189 ppct: 10 formats: tig: atl: SPECTRA OF ATOMIC THEORIES. aug: au: ANDREWS, URI KNIGHT, JULIA F. affil: DEPARTMENT OF MATHEMATICS, UNIVERSITY OF WISCONSIN, MADISON, WI 53706-1388, USA DEPARTMENT OF MATHEMATICS, UNIVERSITY OF NOTRE DAME, NOTRE DAME, IN 46556, USA su: Spectrum analysis Qualitative chemical analysis Atomic theory Physical & theoretical chemistry Turing (Computer program language) sug: subj: Spectrum analysis Qualitative chemical analysis Atomic theory Physical & theoretical chemistry Turing (Computer program language) ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2013 holdings: @attributes: islocal: N |
|---|