Ultraproducts which are not saturated
From MaRDI portal
Publication:5544274
DOI10.2307/2271240zbMath0162.01501OpenAlexW1987355600WikidataQ55969528 ScholiaQ55969528MaRDI QIDQ5544274
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
Related Items (40)
Classification of first order theories which have a structure theorem ⋮ The free group does not have the finite cover property ⋮ Cofinality spectrum theorems in model theory, set theory, and general topology ⋮ Lascar rank and the finite cover property for complete theories of unars ⋮ Cofinality spectrum problems: the axiomatic approach ⋮ Keisler's order has infinitely many classes ⋮ Keisler's order via Boolean ultrapowers ⋮ Model-theoretic applications of cofinality spectrum problems ⋮ KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT ⋮ Constructing regular ultrafilters from a model-theoretic point of view ⋮ Atomic saturation of reduced powers ⋮ Using ultrapowers to compare continuous structures ⋮ Some simple theories from a Boolean algebra point of view ⋮ Open problems on ultrafilters and some connections to the continuum ⋮ The Keisler order in continuous logic ⋮ THE TURING DEGREES AND KEISLER’S ORDER ⋮ The metamathematics of random graphs ⋮ Existence of optimal ultrafilters and the fundamental complexity of simple theories ⋮ Edge distribution and density in the characteristic sequence ⋮ Independence, order, and the interaction of ultrafilters and theories ⋮ Reduced products which are not saturated ⋮ A dividing line within simple unstable theories ⋮ Hypergraph sequences as a tool for saturation of ultrapowers ⋮ A new look at interpretability and saturation ⋮ An example of a new simple theory ⋮ Keisler's order is not simple (and simple theories may not be either) ⋮ Vive la différence. III ⋮ Model theory and the cardinal numbers 𝔭 and 𝔱 ⋮ General topology meets model theory, on 𝔭 and 𝔱 ⋮ The transcendental rank of the formulas of an \(\aleph_1\)-categorical theory ⋮ On Horn theories ⋮ Weakly minimal formulas: A global approach ⋮ Realization of \(\varphi \)-types and Keisler's order ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Saturation and simple extensions of models of Peano arithmetic ⋮ Problems of the theory of models, related to categoricity ⋮ For what filters is every reduced product saturated? ⋮ Categoricity in nondenumerable powers and \(\aleph_1\)-homogeneous models ⋮ Almost categorical theories ⋮ Vive la différence. II: The Ax-Kochen isomorphism theorem
Cites Work
This page was built for publication: Ultraproducts which are not saturated
