Realization of \(\varphi \)-types and Keisler's order

DOI10.1016/j.apal.2008.09.008zbMath1159.03022MaRDI QIDQ1006615

Maryanthe Malliaris

Publication date: 25 March 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.09.008

zbMATH Keywords

unstable theories; saturation of ultrapowers; Keisler order; regular filters

Mathematics Subject Classification ID

03C20: Ultraproducts and related constructions

Related Items

KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT, General topology meets model theory, on 𝔭 and 𝔱, Hypergraph sequences as a tool for saturation of ultrapowers, Cofinality spectrum problems: the axiomatic approach, Independence, order, and the interaction of ultrafilters and theories, Edge distribution and density in the characteristic sequence, Existence of optimal ultrafilters and the fundamental complexity of simple theories, Keisler's order has infinitely many classes, On positive local combinatorial dividing-lines in model theory, Keisler's order is not simple (and simple theories may not be either), A dividing line within simple unstable theories, The Keisler order in continuous logic, MODEL-THEORETIC PROPERTIES OF ULTRAFILTERS BUILT BY INDEPENDENT FAMILIES OF FUNCTIONS, Constructing regular ultrafilters from a model-theoretic point of view, The characteristic sequence of a first-order formula, An example of a new simple theory, Cofinality spectrum theorems in model theory, set theory, and general topology

Cites Work

• Classification theory and the number of non-isomorphic models.
• On \(\vartriangleleft^{*}\)-maximality.
• Toward classifying unstable theories
• Ultraproducts which are not saturated
• Saturation of ultrapowers and Keisler's order
• Ultrafilters and Independent Sets