2008 | OriginalPaper | Chapter
Model Ultraproducts
Published in: Institution-independent Model Theory
Publisher: Birkhäuser Basel
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.