Ultraprodukt-Konstruktion

Eine modelltheoretische Konstruktion, die eine neue Struktur bildet, indem sie das kartesische Produkt einer Familie von Strukturen nimmt und durch ein Ultrafilter quo­tiert; wird verwendet, um Eigenschaften zu übertragen und limitartige Modelle zu erzeugen.

Eine modelltheoretische Konstruktion, die aus einer Familie (A_i)_{i∈I} von Strukturen gleicher Signatur und einem Ultrafiltrum U auf I eine neue Struktur bildet, indem das kartesische Produkt modulo der Äquivalenz identifiziert wird, dass sich zwei Folgen auf einer U-großen Menge gleichen; erste-Ordnung-Eigenschaften, die auf einer U-großen Menge gelten, werden auf das Ultraprodukt übertragen.