The ultraproduct construction

MaRDI QIDQ2998348zbMATH OpenFDO

Authors H. Jerome Keisler

Publication date 18 May 2011

zbMATH Keywords

survey paperultrafilterultraproductnonstandard analysiselementary equivalencecompactness theoremelementary classesŁoś theorem

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Ultraproducts and related constructions (03C20) Nonstandard models in mathematics (03H05)

Recommendations

• Applications of ultraproducts: from compactness to fuzzy elementary classes
• scientific article; zbMATH DE number 3939333
• Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers
• scientific article; zbMATH DE number 1008463
• Ultrafilters Throughout Mathematics

Cited in

(29)

• scientific article; zbMATH DE number 4057491 (Why is no real title available?)
• Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers
• On characterization, definability and \(\omega \)-saturated models
• Sequential commutation in tracial von Neumann algebras
• Keisler's order is not simple (and simple theories may not be either)
• A note on \(\eta_1\)-spaces
• scientific article; zbMATH DE number 3902791 (Why is no real title available?)
• Proof mining and effective bounds in differential polynomial rings
• Mixing and double recurrence in probability groups
• Realism and empirical equivalence
• Co-theory of sorted profinite groups for PAC structures
• Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
• An alternative proof of the ultralimits theorem
• Foundations of iterated star maps and their use in combinatorics
• Ten misconceptions from the history of analysis and their debunking
• The \(\Gamma\)-ultraproduct and averageable classes
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• On the utility of Robinson-Amitsur ultrafilters. II
• scientific article; zbMATH DE number 981607 (Why is no real title available?)
• STRUCTURAL CONSIDERATIONS OF RAMSEY ALGEBRAS
• Characterization, definability and separation via saturated models
• scientific article; zbMATH DE number 3939333 (Why is no real title available?)
• Elementary equivalence theorem for PAC structures
• \(\aleph\)-injective Banach spaces and \(\aleph\)-projective compacta
• Ultraprodukte von Fastkörpern als Restklassenkonstruktionen
• The isomorphism theorem for linear fragments of continuous logic
• Rips construction without unique product
• Polynomial time ultrapowers and the consistency of circuit lower bounds
• Some simple theories from a Boolean algebra point of view

This page was built for publication: The ultraproduct construction

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