Ultraproducts in the theory of models
From MaRDI portal
Publication:2395468
DOI10.2307/1970235zbMath0132.24602OpenAlexW2325012204MaRDI QIDQ2395468
Publication date: 1961
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1970235
Related Items (58)
On an Euler product ring ⋮ ℵ0-Complete cardinals and transcendency of cardinals ⋮ Isomorphic limit ultrapowers for infinitary logic ⋮ Cofinality spectrum theorems in model theory, set theory, and general topology ⋮ Reduced products and nonstandard logics ⋮ Nonstandard arithmetic ⋮ Global Ideal Theory of Meromorphic Function Fields ⋮ Keisler's order has infinitely many classes ⋮ Zur Theorie Algorithmisch Abgeschlossener Modellklassen ⋮ Rings of Continuous Integer-Valued Functions and Nonstandard Arithmetic ⋮ On Automorphisms of Polyadic Algebras ⋮ Remarks on Limitultrapowers ⋮ Algebraic products of tensor products ⋮ On cardinalities of ultraproducts ⋮ Dirac space ⋮ On Criteria of Definability ⋮ Some supplements to Feferman-Vaught related to the model theory of adeles ⋮ Existence of optimal ultrafilters and the fundamental complexity of simple theories ⋮ Resolutions of Singularities in Prime Characteristic for almost all Primes ⋮ Finitary objects and ultrapowers ⋮ Independence, order, and the interaction of ultrafilters and theories ⋮ On the Injective Hulls of Semisimple Modules ⋮ Hypergraph sequences as a tool for saturation of ultrapowers ⋮ Representability of algebras finite over their centers. ⋮ Quasi-axiomatic classes ⋮ Unnamed Item ⋮ Products of Azumaya rings and Kochen's map ⋮ Nonaxiomatizability of directionally ordered groups in the class of nontrivially partially ordered groups ⋮ Models of complete theories ⋮ Adequate Ultrafilters of Special Boolean Algebras ⋮ A note on the elementary theory of finite abelian groups ⋮ Normal modal model theory ⋮ An explicit local norm residue symbol ⋮ Polynomial time ultrapowers and the consistency of circuit lower bounds ⋮ Nonaxiomatizability of lattice-orderable rings ⋮ On ultrafilter extensions of first-order models and ultrafilter interpretations ⋮ The valuation theory of meromorphic function fields over open Riemann surfaces ⋮ On structures defined by mapping filters ⋮ On relational selections for complete theories ⋮ Cylindric Algebras of First-Order Languages ⋮ Generalized ultrapowers ⋮ Zur Einbettungsbedingung im Zusammenhang mit einer Programmiersprache von Engeler ⋮ Exactly definable categories ⋮ Limit Ultrapowers ⋮ Relation algebras and function semigroups ⋮ Remarks on model classes acting on one another ⋮ Every two elementarily equivalent models have isomorphic ultrapowers ⋮ Nonaxiomatizability of lattice orderable groups ⋮ For what filters is every reduced product saturated? ⋮ Cauchy completeness in elementary logic ⋮ Ring-theoretic (In)finiteness in reduced products of Banach algebras ⋮ Ultraproducts and ultra-limits of near-rings ⋮ Une Généralisation de l'ultraproduit ⋮ A mathematical characterization of interpretation between theories ⋮ Limit ultraproducts ⋮ Ultraproducts of finite sets ⋮ Complex structures and composite models - An essay on methodology ⋮ Nonstandard logic
This page was built for publication: Ultraproducts in the theory of models
