Existence of optimal ultrafilters and the fundamental complexity of simple theories
type: Item
instance of: scholarly article
title: Existence of optimal ultrafilters and the fundamental complexity of simple theories
zbMATH Open document ID: 1431.03048
author: S. Shelah
author: M. Malliaris
published in: Advances in Mathematics
publication date: 2016-02-02T00:00:00Z
full work available at URL: https://arxiv.org/abs/1404.2919
Mathematics Subject Classification ID: 03C45
Mathematics Subject Classification ID: 03C20
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 03G05
Mathematics Subject Classification ID: 06E10
zbMATH DE Number: 6538728
zbMATH Keywords: model theory
zbMATH Keywords: ultrafilters
zbMATH Keywords: saturation of ultrapowers
zbMATH Keywords: Keisler's order
zbMATH Keywords: classification of simple theories
zbMATH Keywords: optimal ultrafilters
Wikidata QID: Q105488011
MaRDI profile type: Publication
OpenAlex ID: W2963220768
arXiv ID: 1404.2919
cites work: Diophantine Problems Over Local Fields I
cites work: Diophantine problems over local fields. III: Decidable fields
cites work: Good and Ok Ultrafilters
cites work: Some theorems of set theory and their topological consequences
cites work: Q5531082
cites work: Reduced direct products
cites work: A primer of simple theories
cites work: Q5700776
cites work: Q5728445
cites work: Good ideals in fields of sets
cites work: Q5537404
cites work: Ultraproducts which are not saturated
cites work: Ultraproducts in the theory of models
cites work: Ultrafilters and Independent Sets
cites work: Q3230356
cites work: Realization of \(\varphi \)-types and Keisler's order
cites work: Hypergraph sequences as a tool for saturation of ultrapowers
cites work: Constructing regular ultrafilters from a model-theoretic point of view
cites work: Model-theoretic properties of ultrafilters built by independent families of functions
cites work: Cofinality spectrum theorems in model theory, set theory, and general topology
cites work: General topology meets model theory, on 𝔭 and 𝔱
cites work: A dividing line within simple unstable theories
cites work: Keisler's order has infinitely many classes
cites work: Model theory and the cardinal numbers 𝔭 and 𝔱
cites work: Every two elementarily equivalent models have isomorphic ultrapowers
cites work: Saturation of ultrapowers and Keisler's order
cites work: Classification theory and the number of non-isomorphic models.
DOI: 10.1016/J.AIM.2015.12.009
Recommended article: SIMPLICITY IN COMPACT ABSTRACT THEORIES
Recommended article: Q4034795
Recommended article: Complexity of the universal theory of modal algebras
Recommended article: Q4438115
Recommended article: Q5560260
Recommended article: Independence, order, and the interaction of ultrafilters and theories
Recommended article: Q4526735
Recommended article: On the Theoretical and Practical Complexity of the Existential Theory of Reals
Recommended article: Q3971252
Recommended article: Q4489078
description: scientific article