Model Ultraproducts
Birkhäuser Basel eBooks · 2008
The ultraproduct construction on models is one of the most important devices used by ‘first order model theory’, which is that part of model theory relying upon ‘first order’ quantifiers (handled by representable signature morphisms) and finiteness at various syntactic levels such as arities of symbols, atoms, quantification, and logical connectives.