Ultraproducts which are not saturated

DOI10.2307/2271240zbMATH Open0162.01501OpenAlexW1987355600WikidataQ55969528 ScholiaQ55969528MaRDI QIDQ5544274FDOQ5544274

Authors: H. Jerome Keisler 

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271240

zbMATH Keywords

algebraic logic, model theory

Cites Work

• Homogeneous Universal Models.
• Good ideals in fields of sets
• On cardinalities of ultraproducts
• Models of complete theories
• Ideals with prescribed degree of goodness

Cited In (42)

• Model-theoretic applications of cofinality spectrum problems
• A dividing line within simple unstable theories
• A new look at interpretability and saturation
• Keisler's order is not linear, assuming a supercompact
• Constructing regular ultrafilters from a model-theoretic point of view
• Almost categorical theories
• The free group does not have the finite cover property
• Keisler's order is not simple (and simple theories may not be either)
• Cofinality spectrum theorems in model theory, set theory, and general topology
• New simple theories from hypergraph sequences
• Using ultrapowers to compare continuous structures
• Atomic saturation of reduced powers
• Weakly minimal formulas: A global approach
• Vive la différence. III
• An example of a new simple theory
• Edge distribution and density in the characteristic sequence
• On Horn theories
• Some simple theories from a Boolean algebra point of view
• The metamathematics of random graphs
• Realization of \(\varphi \)-types and Keisler's order
• On algebraically closed fields with a distinguished subfield
• General topology meets model theory, on 𝔭 and 𝔱
• Reduced products which are not saturated
• Cofinality spectrum problems: the axiomatic approach
• Hypergraph sequences as a tool for saturation of ultrapowers
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• Independence, order, and the interaction of ultrafilters and theories
• Saturation and simple extensions of models of Peano arithmetic
• THE TURING DEGREES AND KEISLER’S ORDER
• Existence of optimal ultrafilters and the fundamental complexity of simple theories
• The Keisler order in continuous logic
• Lascar rank and the finite cover property for complete theories of unars
• Keisler's order via Boolean ultrapowers
• A.D. Taimanov and model theory in Kazakhstan
• Keisler's order has infinitely many classes
• Model theory and the cardinal numbers \(\mathfrak p\) and \(\mathfrak t\)
• For what filters is every reduced product saturated?
• The transcendental rank of the formulas of an \(\aleph_1\)-categorical theory
• Open problems on ultrafilters and some connections to the continuum
• Problems of the theory of models, related to categoricity
• Categoricity in nondenumerable powers and \(\aleph_1\)-homogeneous models
• Classification of first order theories which have a structure theorem

This page was built for publication: Ultraproducts which are not saturated

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5544274)