A new look at interpretability and saturation

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

zbMATH Keywords

classification theoryKeisler orderEhrenfeucht-Mostowski modelsinterpretability order

Mathematics Subject Classification ID

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