Ultraproducts which are not saturated

DOI10.2307/2271240MaRDI QIDQ5544274zbMATH OpenOpenAlexWikidataFDO

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

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

Cited in

(42)

• Classification of first order theories which have a structure theorem
• 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
• Weakly minimal formulas: A global approach
• Vive la différence. III
• Using ultrapowers to compare continuous structures
• Atomic saturation of reduced powers
• An example of a new simple theory
• Edge distribution and density in the characteristic sequence
• On Horn theories
• Realization of \(\varphi \)-types and Keisler's order
• The metamathematics of random graphs
• Some simple theories from a Boolean algebra point of view
• On algebraically closed fields with a distinguished subfield
• Reduced products which are not saturated
• Cofinality spectrum problems: the axiomatic approach
• General topology meets model theory, on 𝔭 and 𝔱
• 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
• Hypergraph sequences as a tool for saturation of ultrapowers
• 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\)
• The transcendental rank of the formulas of an \(\aleph_1\)-categorical theory
• For what filters is every reduced product saturated?
• 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

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)