Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Theory spectra and classes of theories


Authors: Uri Andrews, Mingzhong Cai, David Diamondstone, Steffen Lempp and Joseph S. Miller
Journal: Trans. Amer. Math. Soc. 369 (2017), 6493-6510
MSC (2010): Primary 03D45, 03C57
DOI: https://doi.org/10.1090/tran/6917
Published electronically: May 16, 2017
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We analyze the spectra of theories that are $ \omega $-stable, theories whose spectra include almost every degree, and theories with uniformly arithmetical $ n$-quantifier fragments. We answer a question from Andrews and Miller (2015) by showing that there are $ \omega $-stable theories whose spectra are not structure spectra. We show that the spectrum created by Andrews and Knight (2013) is not the spectrum of an $ \omega $-stable theory, but is the minimal spectrum of any theory with uniformly arithmetical $ n$-quantifier fragments. In addition, we give examples of theory spectra that contain almost every degree, including ones that are known not to be structure spectra.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 03D45, 03C57

Retrieve articles in all journals with MSC (2010): 03D45, 03C57


Additional Information

Uri Andrews
Affiliation: Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706-1325
Email: andrews@math.wisc.edu

Mingzhong Cai
Affiliation: Department of Mathematics, Dartmouth College, Hanover, New Hampshire 03755
Address at time of publication: Longture Capital, 3-2104 Lujiazui Century Financial Plaza, 799 Yanggao South Road, Pudong, Shanghai 201203, People’s Republic of China
Email: mingzhongcai@gmail.com

David Diamondstone
Affiliation: Google, 1600 Amphitheatre Parkway, Mountain View, California 94043
Email: ddiamondstone@gmail.com

Steffen Lempp
Affiliation: Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706-1388
Email: lempp@math.wisc.edu

Joseph S. Miller
Affiliation: Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706-1388
Email: jmiller@math.wisc.edu

DOI: https://doi.org/10.1090/tran/6917
Received by editor(s): September 18, 2014
Received by editor(s) in revised form: November 6, 2015
Published electronically: May 16, 2017
Additional Notes: The first author’s research was partly supported by NSF grant DMS-1201338. The second author’s research was partly supported by an AMS Simons Travel Grant and NSF grant DMS-1266214. The fourth author’s research was partially supported by AMS-Simons Foundation Collaboration Grant 209087. The last author’s research was partly supported by NSF grant DMS-1001847.
Article copyright: © Copyright 2017 American Mathematical Society

American Mathematical Society