An example of a new simple theory

DOI10.1090/CONM/752/15133MaRDI QIDQ3299563zbMATH OpenOpenAlexFDO

Authors S. Shelah, M. Malliaris

Publication date 23 July 2020

Published in Trends in Set Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.03254

zbMATH Keywords

incomparable classesKeisler's orderingunstable simple theories

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Other combinatorial set theory (03E05)

Abstract: We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a result we prove in ZFC that there are incomparable classes in Keisler's order.

Recommendations

• scientific article; zbMATH DE number 1425669
• Simple theories
• A primer of simple theories
• Very simple theories without forking
• A Fitting theorem for simple theories
• A simplification of the theory of simplicity
• n-simple theories
• A simple example from flat-ship theory
• Simple interpretations among complicated theories
• Random amalgamation of simple theories

Cites work

• A dividing line within simple unstable theories
• A new look at interpretability and saturation
• A primer of simple theories
• Classification theory and the number of non-isomorphic models.
• Combinatorial set theory: Partition relations for cardinals
• Existence of optimal ultrafilters and the fundamental complexity of simple theories
• scientific article; zbMATH DE number 2220970 (Why is no real title available?)
• Hypergraph sequences as a tool for saturation of ultrapowers
• Keisler's order has infinitely many classes
• Keisler's order is not linear, assuming a supercompact
• Realization of -types and Keisler's order
• Saturating the random graph with an independent family of small range
• Some theorems of set theory and their topological consequences
• Sur les opérations linéaires dans l'espace des fonctions bornées
• Two consistency results on set mappings
• Ultraproducts which are not saturated

Cited in

(9)

• Simple theories
• Keisler's order has infinitely many classes
• A new look at interpretability and saturation
• Keisler's order is not simple (and simple theories may not be either)
• scientific article; zbMATH DE number 4155254 (Why is no real title available?)
• Keisler's order is not linear, assuming a supercompact
• Saturating the random graph with an independent family of small range
• Some simple theories from a Boolean algebra point of view
• New simple theories from hypergraph sequences

This page was built for publication: An example of a new simple theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3299563)