Maryanthe Malliaris

Learn More
We give the first (ZFC) dividing line in Keisler's order among the unstable theories, specifically among the simple unstable theories. That is, for any infinite cardinal λ for which there is µ < λ ≤ 2 µ , we construct a regular ultrafilter D on λ so that (i) for any model M of a stable theory or of the random graph, M λ /D is λ +-saturated but (ii) if T(More)
Via two short proofs and three constructions, we show how to increase the model-theoretic precision of a widely used method for building ultrafilters. We begin by showing that any flexible regular ultrafilter makes the product of an unbounded sequence of finite cardinals large, thus saturating any stable theory. We then prove directly that a " bottleneck "(More)
We develop a framework in which Szemerédi's celebrated Regularity Lemma for graphs interacts with core model-theoretic ideas and techniques. Our work relies on a coincidence of ideas from model theory and graph theory: arbitrarily large half-graphs coincide with model-theoretic instability, so in their absence, structure theorems and technology from(More)
In the first edition of Classification Theory, the second author characterized the stable theories in terms of saturation of ultrapowers. Prior to this theorem, stability had already been defined in terms of counting types, and the unstable formula theorem was known. A contribution of the ultrapower characterization was that it involved sorting out the(More)
We prove a regularity lemma with respect to arbitrary Keisler measures µ on V , ν on W where the bipartite graph (V, W, R) is definable in a saturated structure ¯ M and the formula R(x, y) is stable. The proof is rather quick, making use of local stability theory. The special case where (V, W, R) is pseudofinite, µ, ν are the counting measures, and ¯ M is(More)
The first part of this paper is an expository overview of the au-thors' recent work on Keisler's order, a far-reaching program of understanding basic model-theoretic structure through the lens of regular ultrapowers. We motivate the problem and explain how this work connects model theory and set theory, leading to theorems on both sides. In the second part(More)
  • 1