Keisler's order is not linear, assuming a supercompact

DOI10.1017/JSL.2018.1MaRDI QIDQ4579811zbMATH OpenOpenAlexWikidataFDO

Authors Douglas Ulrich

Publication date 10 August 2018

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Keisler's orderultraproductsuncountable model theory

Mathematics Subject Classification ID

Set-theoretic model theory (03C55)

Recommendations

• The linearity of the Mitchell order
• An example of a new simple theory
• Keisler's order has infinitely many classes
• Nonexistence of universal orders in many cardinals
• P_κλ combinatorics II: The RK ordering beneath a supercompact measure

Cites work

• A dividing line within simple unstable theories
• Classification theory and the number of non-isomorphic models
• Constructing regular ultrafilters from a model-theoretic point of view
• Existence of optimal ultrafilters and the fundamental complexity of simple theories
• Keisler's order has infinitely many classes
• Lascar strong types in some simple theories
• Realization of -types and Keisler's order
• The number of types in simple theories
• Ultraproducts which are not saturated

Cited in

(7)

• 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)
• An example of a new simple theory
• Some simple theories from a Boolean algebra point of view
• Keisler's Order is Not Linear, Assuming a Supercompact
• New simple theories from hypergraph sequences

This page was built for publication: Keisler's order is not linear, assuming a supercompact

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