Hostname: page-component-7479d7b7d-qs9v7 Total loading time: 0 Render date: 2024-07-12T01:33:19.318Z Has data issue: false hasContentIssue false

KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT

Published online by Cambridge University Press:  01 August 2018

DOUGLAS ULRICH*
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF MARYLAND COLLEGE PARK, MD 20742, USAE-mail:ds_ulrich@hotmail.com

Abstract

We show that if there is a supercompact cardinal, then Keisler’s order is not linear. More specifically, let Tn,k be the theory of the generic n-clique free k-ary graph for any n > k ≥ 3, and let TCas be the simple nonlow theory described by Casanovas in [2]. Then we show that TCas$$Tn,k always, and if there is a supercompact cardinal then Tn,k$$TCas.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2018 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Buechler, S., Lascar strong types in some simple theories, this Journal, vol. 64 (1999), no. 2, pp. 817824.Google Scholar
Casanovas, E., The number of types in simple theories. Annals of Pure and Applied Logic, vol. 98 (1999), pp. 6986.CrossRefGoogle Scholar
Keisler, H. J., Ultraproducts which are not saturated, this Journal, vol. 32 (1967), pp. 2346.Google Scholar
Malliaris, M., Persistence and Regularity in Unstable Model Theory, Ph.D. thesis, University of California, Berkeley, 2009.Google Scholar
Malliaris, M., Realization of φ-types and Keisler’s order. Annals of Pure and Applied Logic, vol. 157 (2009), pp. 220224.CrossRefGoogle Scholar
Malliaris, M. and Shelah, S., A dividing line within simple unstable theories. Advances in Mathematics, vol. 249 (2013), pp. 250288.CrossRefGoogle Scholar
Malliaris, M. and Shelah, S., Constructing regular ultrafilters from a model-theoretic point of view. Transactions of the American Mathematical Society, vol. 367 (2015), pp. 81398173.CrossRefGoogle Scholar
Malliaris, M. and Shelah, S., Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 (2016), pp. 614681.CrossRefGoogle Scholar
Malliaris, M. and Shelah, S., Keisler’s order has infinitely many classes. Preprint, 2015, arXiv:1503.08341v2.Google Scholar
Shelah, S., Classification Theory, North-Holland, Amsterdam, 1978, Rev.. ed., 1990.Google Scholar
Ulrich, D., Low is a dividing line in Keisler’s order. Preprint, 2017, arXiv:1704.01537.Google Scholar