Some simple theories from a Boolean algebra point of view
From MaRDI portal
Publication:6073915
DOI10.1016/j.apal.2023.103345arXiv2108.05314OpenAlexW4385192016MaRDI QIDQ6073915
Maryanthe Malliaris, Saharon Shelah
Publication date: 12 October 2023
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2108.05314
Other combinatorial set theory (03E05) Classification theory, stability, and related concepts in model theory (03C45) Structure theory of Boolean algebras (06E05) Ultraproducts and related constructions (03C20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cofinality spectrum problems: the axiomatic approach
- Existence of optimal ultrafilters and the fundamental complexity of simple theories
- Realization of \(\varphi \)-types and Keisler's order
- Combinatorial set theory: Partition relations for cardinals
- Classification theory and the number of non-isomorphic models.
- Keisler's order has infinitely many classes
- A new look at interpretability and saturation
- Set mappings on 4-tuples
- Keisler's order is not simple (and simple theories may not be either)
- A dividing line within simple unstable theories
- Power problems in abstract spaces
- Limits in the uniform ultrafilters
- MODEL-THEORETIC PROPERTIES OF ULTRAFILTERS BUILT BY INDEPENDENT FAMILIES OF FUNCTIONS
- Constructing regular ultrafilters from a model-theoretic point of view
- An example of a new simple theory
- Good and Ok Ultrafilters
- Cofinality spectrum theorems in model theory, set theory, and general topology
- On the density of λ-box products
- KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT
- Two consistency results on set mappings
- A separation theorem for simple theories
- MODEL THEORY AND ULTRAPRODUCTS
- Saturating the Random Graph with an Independent Family of Small Range
- Hypergraph sequences as a tool for saturation of ultrapowers
- Some theorems of set theory and their topological consequences
- Ultraproducts which are not saturated
- On families of large oscillation
- Ultrafilters and Independent Sets
- Sur les opérations linéaires dans l'espace des fonctions bornées
- Séparabilité et multiplication cartésienne des espaces topologiques
- A remark on density characters
This page was built for publication: Some simple theories from a Boolean algebra point of view