Cofinality spectrum theorems in model theory, set theory, and general topology

DOI10.1090/jams830zbMath1477.03125arXiv1208.5424WikidataQ56689782 ScholiaQ56689782MaRDI QIDQ3450267

Saharon Shelah, Maryanthe Malliaris

Publication date: 3 November 2015

Published in: Journal of the American Mathematical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

03E05: Other combinatorial set theory

03E17: Cardinal characteristics of the continuum

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

03C20: Ultraproducts and related constructions

Related Items

A characterization of the Boolean Prime Ideal theorem in terms of forcing notions, ON CUTS IN ULTRAPRODUCTS OF LINEAR ORDERS II, TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES, Towers and gaps at uncountable cardinals, Generalised pseudointersections, A large list of small cardinal characteristics of Boolean algebras, Controlling cardinal characteristics without adding reals, 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, Splitting positive sets, THE TURING DEGREES AND KEISLER’S ORDER, Cofinality spectrum problems: the axiomatic approach, Subgroups of \(\mathrm{SF}(\omega)\) and the relation of almost containedness, A parallel to the null ideal for inaccessible \(\lambda\). I, Small cardinals and the pseudocompactness of hyperspaces of subspaces of \(\beta\omega\), Existence of optimal ultrafilters and the fundamental complexity of simple theories, Keisler's order has infinitely many classes, A new look at interpretability and saturation, Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces, Preservation of splitting families and cardinal characteristics of the continuum, Forcing and the universe of sets: must we lose insight?, Keisler's order is not simple (and simple theories may not be either), Base tree property, Construction with opposition: cardinal invariants and games, The minimal size of infinite maximal antichains in direct products of partial orders, Model-theoretic applications of cofinality spectrum problems, A dividing line within simple unstable theories, Selective covering properties of product spaces, II: $\gamma $ spaces, Questions on generalised Baire spaces, Universal functions, Constructing regular ultrafilters from a model-theoretic point of view, On cuts in ultraproducts of linear orders I, The linear refinement number and selection theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cofinality spectrum problems: the axiomatic approach
• Independence, order, and the interaction of ultrafilters and theories
• Existence of optimal ultrafilters and the fundamental complexity of simple theories
• More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
• Realization of \(\varphi \)-types and Keisler's order
• On the scheme of induction for bounded arithmetic formulas
• Classification theory and the number of non-isomorphic models.
• Classification theory and the number of non-isomorphic models
• On \(\vartriangleleft^{*}\)-maximality.
• Keisler's order has infinitely many classes
• Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing
• Asymptotic cones of finitely presented groups
• Toward classifying unstable theories
• Ultraproducts in the theory of models
• Model-theoretic applications of cofinality spectrum problems
• A dividing line within simple unstable theories
• Good ideals in fields of sets
• The elementary theory of finite 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
• Coherent Sequences
• Combinatorial Cardinal Characteristics of the Continuum
• Good and Ok Ultrafilters
• A Comment on “ 𝔭 < t”
• The space of ultrafilters on N covered by nowhere dense sets
• On the combinatorial principle P(c)
• Some Remarks on Category in Topological Spaces
• Simple unstable theories
• Cardinalities of ultraproducts of finite sets
• Hypergraph sequences as a tool for saturation of ultrapowers
• Diophantine Problems Over Local Fields I
• Ultraproducts which are not saturated
• Ultrafilters and Independent Sets
• On some problems of Hausdorff and of Sierpiński