Ultraproducts as a tool for first-order inexpressibility in the finite\n and infinite

2013/10/11 by Philip Dittmann, Dittmann, Philip
Computer Science · #03C20 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems #semigroups and automata theory

paper · pdf · doi:10.48550/arxiv.1310.3137

openalex publication_date 2013/10/11 · openalex created_date 2022/10/04 · openalex updated_date 2026/07/28

Abstract

Ultraproducts are a well-known tool in the classical model theory of\nfirst-order logic. We explore their uses in the context of finite model theory.\n

Related

• A Survey of Ultraproduct Constructions in General Topology
• Cardinalities of Ultraproducts of Finite Sets in ZF + DC
• Ultraproducts in abstract categorical logic
• What do ultraproducts remember about the original structures?
• On topological properties of ultraproducts of finite sets