Existence of optimal ultrafilters and the fundamental complexity of simple theories

DOI10.1016/j.aim.2015.12.009zbMath1431.03048arXiv1404.2919WikidataQ105488011 ScholiaQ105488011MaRDI QIDQ908076

Saharon Shelah, Maryanthe Malliaris

Publication date: 2 February 2016

Published in: Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

model theory; ultrafilters; classification of simple theories; Keisler's order; optimal ultrafilters; saturation of ultrapowers

Mathematics Subject Classification ID

03E05: Other combinatorial set theory

03C45: Classification theory, stability, and related concepts in model theory

06E10: Chain conditions, complete algebras

03G05: Logical aspects of Boolean algebras

03C20: Ultraproducts and related constructions

Related Items

KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT, COMPACT CARDINALS AND EIGHT VALUES IN CICHOŃ’S DIAGRAM, A separation theorem for simple theories, Open problems on ultrafilters and some connections to the continuum, Atomic saturation of reduced powers, Using ultrapowers to compare continuous structures, Some simple theories from a Boolean algebra point of view, THE TURING DEGREES AND KEISLER’S ORDER, Cofinality spectrum problems: the axiomatic approach, Keisler's order has infinitely many classes, A new look at interpretability and saturation, On positive local combinatorial dividing-lines in model theory, Keisler's order is not simple (and simple theories may not be either), Cichoń's maximum, Model-theoretic applications of cofinality spectrum problems, The Keisler order in continuous logic, An example of a new simple theory, Cofinality spectrum theorems in model theory, set theory, and general topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realization of \(\varphi \)-types and Keisler's order
• Classification theory and the number of non-isomorphic models.
• A primer of simple theories
• Keisler's order has infinitely many classes
• Ultraproducts in the theory of models
• A dividing line within simple unstable theories
• Good ideals in fields of sets
• Diophantine problems over local fields. III: Decidable fields
• Every two elementarily equivalent models have isomorphic ultrapowers
• MODEL-THEORETIC PROPERTIES OF ULTRAFILTERS BUILT BY INDEPENDENT FAMILIES OF FUNCTIONS
• Constructing regular ultrafilters from a model-theoretic point of view
• Good and Ok Ultrafilters
• Cofinality spectrum theorems in model theory, set theory, and general topology
• Reduced direct products
• Model theory and the cardinal numbers 𝔭 and 𝔱
• General topology meets model theory, on 𝔭 and 𝔱
• Hypergraph sequences as a tool for saturation of ultrapowers
• Diophantine Problems Over Local Fields I
• Some theorems of set theory and their topological consequences
• Ultraproducts which are not saturated
• Saturation of ultrapowers and Keisler's order
• Ultrafilters and Independent Sets