The ultraproduct construction

zbMATH Open1242.03059MaRDI QIDQ2998348FDOQ2998348

Authors: H. Jerome Keisler 

Publication date: 18 May 2011

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

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)

Cited In (29)

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

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)