## Constructing regular ultrafilters from a model-theoretic point of view

HTML articles powered by AMS MathViewer

- by M. Malliaris and S. Shelah PDF
- Trans. Amer. Math. Soc.
**367**(2015), 8139-8173 Request permission

## Abstract:

This paper contributes to the set-theoretic side of understanding Keisler’s order. We consider properties of ultrafilters which affect saturation of unstable theories: the lower cofinality $\mathrm {lcf}(\aleph _0, \mathcal {D})$ of $\aleph _0$ modulo $\mathcal {D}$, saturation of the minimum unstable theory (the random graph), flexibility, goodness, goodness for equality, and realization of symmetric cuts. We work in ZFC except when noted, as several constructions appeal to complete ultrafilters and thus assume a measurable cardinal. The main results are as follows. First, we investigate the strength of flexibility, known to be detected by non-low theories. Assuming $\kappa > \aleph _0$ is measurable, we construct a regular ultrafilter on $\lambda \geq 2^\kappa$ which is flexible but not good, and which moreover has large $\mathrm {lcf}(\aleph _0)$ but does not even saturate models of the random graph. This implies (a) that flexibility alone cannot characterize saturation of any theory, however (b) by separating flexibility from goodness, we remove a main obstacle to proving non-low does not imply maximal. Since flexible is precisely OK, this also shows that (c) from a set-theoretic point of view, consistently, OK need not imply good, addressing a problem from Dow (1985). Second, under no additional assumptions, we prove that there is a loss of saturation in regular ultrapowers of unstable theories, and also give a new proof that there is a loss of saturation in ultrapowers of non-simple theories. More precisely, for $\mathcal {D}$ regular on $\kappa$ and $M$ a model of an unstable theory, $M^\kappa /\mathcal {D}$ is not $(2^\kappa )^+$-saturated; and for $M$ a model of a non-simple theory and $\lambda = \lambda ^{<\lambda }$, $M^\lambda /\mathcal {D}$ is not $\lambda ^{++}$-saturated. In the third part of the paper, we investigate realization and omission of symmetric cuts, significant both because of the maximality of the strict order property in Keisler’s order, and by recent work of the authors on $SOP_2$. We prove that if $\mathcal {D}$ is a $\kappa$-complete ultrafilter on $\kappa$, any ultrapower of a sufficiently saturated model of linear order will have no $(\kappa , \kappa )$-cuts, and that if $\mathcal {D}$ is also normal, it will have a $(\kappa ^+, \kappa ^+)$-cut. We apply this to prove that for any $n < \omega$, assuming the existence of $n$ measurable cardinals below $\lambda$, there is a regular ultrafilter $D$ on $\lambda$ such that any $D$-ultrapower of a model of linear order will have $n$ alternations of cuts, as defined below. Moreover, $D$ will $\lambda ^+$-saturate all stable theories but will not $(2^{\kappa })^+$-saturate any unstable theory, where $\kappa$ is the smallest measurable cardinal used in the construction.## References

- Joni Baker and Kenneth Kunen,
*Limits in the uniform ultrafilters*, Trans. Amer. Math. Soc.**353**(2001), no. 10, 4083–4093. MR**1837221**, DOI 10.1090/S0002-9947-01-02843-4 - C. C. Chang and H. J. Keisler,
*Model Theory*, North-Holland, 1973. - Alan Dow,
*Good and OK ultrafilters*, Trans. Amer. Math. Soc.**290**(1985), no. 1, 145–160. MR**787959**, DOI 10.1090/S0002-9947-1985-0787959-4 - H. Jerome Keisler,
*Good ideals in fields of sets*, Ann. of Math. (2)**79**(1964), 338–359. MR**166105**, DOI 10.2307/1970549 - H. Jerome Keisler,
*Ultraproducts which are not saturated*, J. Symbolic Logic**32**(1967), 23–46. MR**218224**, DOI 10.2307/2271240 - Juliette Kennedy and Saharon Shelah,
*On regular reduced products*, J. Symbolic Logic**67**(2002), no. 3, 1169–1177. MR**1926605**, DOI 10.2178/jsl/1190150156 - Juliette Kennedy, Saharon Shelah, and Jouko Väänänen,
*Regular ultrafilters and finite square principles*, J. Symbolic Logic**73**(2008), no. 3, 817–823. MR**2444269**, DOI 10.2178/jsl/1230396748 - Kenneth Kunen,
*Ultrafilters and independent sets*, Trans. Amer. Math. Soc.**172**(1972), 299–306. MR**314619**, DOI 10.1090/S0002-9947-1972-0314619-7 - K. Kunen,
*Weak $P$-points in $\textbf {N}^{\ast }$*, Topology, Vol. II (Proc. Fourth Colloq., Budapest, 1978) Colloq. Math. Soc. János Bolyai, vol. 23, North-Holland, Amsterdam-New York, 1980, pp. 741–749. MR**588822** - Jerzy Łoś,
*Quelques remarques, théorèmes et problèmes sur les classes définissables d’algèbres*, Mathematical interpretation of formal systems, North-Holland Publishing Co., Amsterdam, 1955, pp. 98–113 (French). MR**0075156** - M. E. Malliaris,
*Realization of $\phi$-types and Keisler’s order*, Ann. Pure Appl. Logic**157**(2009), no. 2-3, 220–224. MR**2499710**, DOI 10.1016/j.apal.2008.09.008 - M. Malliaris, Ph. D. thesis, U.C. Berkeley (2009).
- M. E. Malliaris,
*Hypergraph sequences as a tool for saturation of ultrapowers*, J. Symbolic Logic**77**(2012), no. 1, 195–223. MR**2951637**, DOI 10.2178/jsl/1327068699 - M. E. Malliaris,
*Independence, order, and the interaction of ultrafilters and theories*, Ann. Pure Appl. Logic**163**(2012), no. 11, 1580–1595. MR**2959661**, DOI 10.1016/j.apal.2011.12.010 - M. Malliaris and S. Shelah,
*Model-theoretic properties of ultrafilters built by independent families of functions*, math.LO/1208.2579. - M. Malliaris and S. Shelah,
*A dividing line within simple unstable theories*, Adv. Math.**249**(2013), 250–288. MR**3116572**, DOI 10.1016/j.aim.2013.08.027 - M. Malliaris and S. Shelah,
*Cofinality spectrum problems in model theory, set theory and general topology*, math.LO/1208.5424. - Maryanthe Malliaris and Saharon Shelah,
*General topology meets model theory, on $\mathfrak {p}$ and $\mathfrak {t}$*, Proc. Natl. Acad. Sci. USA**110**(2013), no. 33, 13300–13305. MR**3105597**, DOI 10.1073/pnas.1306114110 - S. Shelah,
*Classification Theory*, North-Holland, 1978. - S. Shelah,
*Classification theory and the number of nonisomorphic models*, 2nd ed., Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam, 1990. MR**1083551** - Saharon Shelah,
*Simple unstable theories*, Ann. Math. Logic**19**(1980), no. 3, 177–203. MR**595012**, DOI 10.1016/0003-4843(80)90009-1 - Saharon Shelah,
*Toward classifying unstable theories*, Ann. Pure Appl. Logic**80**(1996), no. 3, 229–255. MR**1402297**, DOI 10.1016/0168-0072(95)00066-6 - Saharon Shelah and Alexander Usvyatsov,
*More on $\textrm {SOP}_1$ and $\textrm {SOP}_2$*, Ann. Pure Appl. Logic**155**(2008), no. 1, 16–31. MR**2454629**, DOI 10.1016/j.apal.2008.02.003

## Additional Information

**M. Malliaris**- Affiliation: Department of Mathematics, University of Chicago, 5734 S. University Avenue, Chicago, Illinois 60637
- MR Author ID: 864805
- Email: mem@math.uchicago.edu
**S. Shelah**- Affiliation: Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, The Hebrew University of Jerusalem, Jerusalem, 91904, Israel – and – Department of Mathematics, Hill Center - Busch Campus, Rutgers, The State University of New Jersey, 110 Frelinghuysen Road, Piscataway, New Jersey 08854-8019
- MR Author ID: 160185
- ORCID: 0000-0003-0462-3152
- Email: shelah@math.huji.ac.il
- Received by editor(s): March 22, 2012
- Received by editor(s) in revised form: September 10, 2013
- Published electronically: February 18, 2015
- Additional Notes: The first author was partially supported by NSF grant DMS-1001666

The second author was partially supported by grants DMS-0600940 and 1101597 and by a Gödel fellowship. The second author was also partially supported by the Israel Science Foundation grant 710/07. This is paper 996 in the second author’s list of publications - © Copyright 2015 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**367**(2015), 8139-8173 - MSC (2010): Primary 03C20, 03C45, 03E05
- DOI: https://doi.org/10.1090/S0002-9947-2015-06303-X
- MathSciNet review: 3391912