Independence, order, and the interaction of ultrafilters and theories

DOI10.1016/j.apal.2011.12.010zbMath1279.03060MaRDI QIDQ450953

Maryanthe Malliaris

Publication date: 26 September 2012

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.2011.12.010

zbMATH Keywords

independence property; regular ultrapowers; unstable theories

Mathematics Subject Classification ID

03C45: Classification theory, stability, and related concepts in model theory

03C52: Properties of classes of models

03C20: Ultraproducts and related constructions

Related Items

General topology meets model theory, on 𝔭 and 𝔱, Open problems on ultrafilters and some connections to the continuum, Cofinality spectrum problems: the axiomatic approach, Keisler's order has infinitely many classes, Keisler's order is not simple (and simple theories may not be either), A dividing line within simple unstable theories, Constructing regular ultrafilters from a model-theoretic point of view, Cofinality spectrum theorems in model theory, set theory, and general topology

Cites Work

• Unnamed Item
• Edge distribution and density in the characteristic sequence
• More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
• Realization of \(\varphi \)-types and Keisler's order
• Classification theory and the number of non-isomorphic models.
• On \(\vartriangleleft^{*}\)-maximality.
• Toward classifying unstable theories
• There are just four second-order quantifiers
• Ultraproducts in the theory of models
• The characteristic sequence of a first-order formula
• Homogeneous Universal Models.
• Simple unstable theories
• On sets of integers containing k elements in arithmetic progression
• Hypergraph sequences as a tool for saturation of ultrapowers
• Ultraproducts which are not saturated
• Ultrafilters and Independent Sets