General topology meets model theory, on 𝔭 and 𝔱
From MaRDI portal
Publication:5170971
DOI10.1073/pnas.1306114110zbMath1301.03041OpenAlexW2016460164WikidataQ37103918 ScholiaQ37103918MaRDI QIDQ5170971
Saharon Shelah, Maryanthe Malliaris
Publication date: 25 July 2014
Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1073/pnas.1306114110
Cardinal characteristics of the continuum (03E17) Classification theory, stability, and related concepts in model theory (03C45) Ultraproducts and related constructions (03C20)
Related Items
Cofinality spectrum problems: the axiomatic approach ⋮ Keisler's order has infinitely many classes ⋮ Almost disjoint families and relative versions of covering properties of \(\kappa\)-paracompactness type ⋮ Model-theoretic applications of cofinality spectrum problems ⋮ Constructing regular ultrafilters from a model-theoretic point of view ⋮ On images of complete topologized subsemilattices in sequential semitopological semilattices ⋮ Interview With a Set Theorist ⋮ Open problems on ultrafilters and some connections to the continuum ⋮ MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY ⋮ Existence of optimal ultrafilters and the fundamental complexity of simple theories ⋮ Isomorphic universality and the number of pairwise nonisomorphic models in the class of Banach spaces ⋮ Model theory and the cardinal numbers 𝔭 and 𝔱 ⋮ Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces ⋮ MORE ZFC INEQUALITIES BETWEEN CARDINAL INVARIANTS
Cites Work
- Independence, order, and the interaction of ultrafilters and theories
- Edge distribution and density in the characteristic sequence
- Realization of \(\varphi \)-types and Keisler's order
- Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing
- Toward classifying unstable theories
- Good ideals in fields of sets
- A Comment on “ 𝔭 < t”
- Hypergraph sequences as a tool for saturation of ultrapowers
- Ultraproducts which are not saturated
- THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
- On strongly minimal sets
- Short complete nested sequences in βN⧹N and small maximal almost-disjoint families
- Consistency-Proof for the Generalized Continuum-Hypothesis
