Ultraproducts as a tool for first-order inexpressibility in the finite and infinite
arXiv:1310.3137
Abstract
Ultraproducts are a well-known tool in the classical model theory of first-order logic. We explore their uses in the context of finite model theory.