Eine aus einer gegebenen Struktur M gewonnene Struktur, indem man das kartesische Produkt M^I von Kopien von M über eine Indexmenge I bildet und dann nach einem Ultrafiltr U auf I quotiiert: Elemente sind Äquivalenzklassen von Funktionen I → M, die auf einer Menge in U übereinstimmen. Ultraproducte und insbesondere Ultrapowers sind zentrale Werkzeuge zur Erzeugung elementarer Erweiterungen und nichtstandardlicher Modelle.

Prinzip

Zwei Folgen (Funktionen) f,g : I → M werden identifiziert genau dann, wenn {i ∈ I : f(i)=g(i)} ∈ U; Relationen und Funktionen werden punktweise interpretiert und die Wahrheit mittels Łośs Theorem transferiert: Eine ersteordentliche Formel gilt im Ultraproduct genau dann, wenn sie für U‑viele Koordinaten gilt.

Demonstration

Gegeben eine Struktur M, Indexmenge I und ein nichtprincipalisches Ultrafiltr U auf I, bilde M^I/U. Nach Łośs Theorem gilt: wenn M eine Formel σ auf einer U‑großen Menge von Indizes erfüllt, dann erfüllt die Klasse [f] σ in der Ultrapower. Ist U nichtprincipal, so ist die Ultrapower meist eine echte elementare Erweiterung von M, liefert nichtstandardliche Elemente durch nichtkonstante Sequenzen modulo U.

Fehlanwendung

Den Ultraproduct mit dem direkten Produkt oder dem Quotienten nach einem beliebigen Filter verwechseln; Elementarität ohne Ultrafiltr annehmen; Łośs Theorem ignorieren und erwarten, dass punktweise Eigenschaften systematisch versagen. Die Verwendung eines principalen Ultrafiltrs führt dazu, dass die Ultrapower isomorph zur ursprünglichen Struktur am betreffenden Index ist – ein häufiger Missgriff, wenn man nicht darauf achtet.

Konsequenz

Ultrapowers liefern mächtige Folgen im Stil der Kompaktheit: Existenz elementaräquivalenter, aber größerer Modelle, Saturation und die Bewahrung erstordentlicher Eigenschaften sowie die Konstruktion nichtstandardlicher Modelle (z. B. nichtstandardliche Analysis). Sie ermöglichen es, lokale Eigenschaften mittels des Ultrafiltrs global zu übertragen.

Umkehrung

Das Ersetzen des Ultrafiltrs durch einen gröberen Filter oder das Weglassen des Quotienten ergibt das volle Produkt mit sehr anderen logischen Eigenschaften; umgekehrt können wiederholte Ultrapowers hochsaturierte oder große Modelle erzeugen, während das Zurücknehmen des Quotienten die Elementarität zerstört.

Abgrenzung

Die Konstruktion hängt grundlegend von der Wahl des Ultrafiltrs ab; nichtprincipale Ultrafiltrn erzeugen echte Erweiterungen und viele nichtstandardliche Merkmale, erfordern jedoch set-theoretische Existenzannahmen. Ultrapower-Methoden erhalten erstordentliche Wahrheiten, spiegeln aber in der Regel keine höherordentlichen oder großkardinalen Eigenschaften des Index wider.

Semantische Spannung

Steht im Wettbewerb mit anderen Modellbau-Techniken (z. B. Henkin-Konstruktion, Hin-und-Her-Konstruktionen): Ultrapowers sind semantisch und basieren auf Ultrafiltern und Łoś-Transfer, während andere Verfahren syntaktisch oder kombinatorisch sind; die Wahl richtet sich nach dem gewünschten Fokus auf Elementarität versus explizite Terme.

Synthese

Eine Ultrapower fasst das Produkt vieler Kopien einer Struktur mittels eines Ultrafiltrs zusammen und erzeugt so ein neues Modell, dessen erstordentliche Eigenschaften durch Łośs Theorem bestimmt sind; mit geeigneter Wahl des Ultrafiltrs erhält man elementare Erweiterungen, saturierte oder nichtstandardliche Modelle, die in der modernen Modelltheorie unverzichtbar sind.