A new look at interpretability and saturation
From MaRDI portal
Publication:1731843
DOI10.1016/j.apal.2019.01.001zbMath1472.03030arXiv1709.04899OpenAlexW2963412199WikidataQ128625463 ScholiaQ128625463MaRDI QIDQ1731843
Saharon Shelah, Maryanthe Malliaris
Publication date: 14 March 2019
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1709.04899
Classification theory, stability, and related concepts in model theory (03C45) Ultraproducts and related constructions (03C20) Other classical first-order model theory (03C68)
Related Items
Some simple theories from a Boolean algebra point of view, An example of a new simple theory, Keisler's order is not simple (and simple theories may not be either), A separation theorem for simple theories
Cites Work
- Unnamed Item
- Characterization of NIP theories by ordered graph-indiscernibles
- Existence of optimal ultrafilters and the fundamental complexity of simple theories
- More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
- Ramsey classes of set systems
- Classification theory and the number of non-isomorphic models.
- On \(\vartriangleleft^{*}\)-maximality.
- Keisler's order has infinitely many classes
- Toward classifying unstable theories
- Model-theoretic applications of cofinality spectrum problems
- A dividing line within simple unstable theories
- Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
- Constructing regular ultrafilters from a model-theoretic point of view
- Models of axiomatic theories admitting automorphisms
- An example of a new simple theory
- Cofinality spectrum theorems in model theory, set theory, and general topology
- Models Without Indiscernibles
- KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT
- Ramsey Classes and Homogeneous Structures
- A survey on structural Ramsey theory and topological dynamics with the Kechris-Pestov-Todorcevic correspondence in mind
- Hypergraph sequences as a tool for saturation of ultrapowers
- Ultraproducts which are not saturated
- Saturation of ultrapowers and Keisler's order
