KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT

DOI10.1017/jsl.2018.1OpenAlexW2963549228WikidataQ129431351 ScholiaQ129431351MaRDI QIDQ4579811

Douglas Ulrich

Publication date: 10 August 2018

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

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

zbMATH Keywords

ultraproductsKeisler's orderuncountable model theory

Mathematics Subject Classification ID

Set-theoretic model theory (03C55)

Related Items (4)

Some simple theories from a Boolean algebra point of view ⋮ A new look at interpretability and saturation ⋮ An example of a new simple theory ⋮ Keisler's order is not simple (and simple theories may not be either)

Cites Work

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

This page was built for publication: KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT