Eine Struktur, die aus einer indizierten Familie von Strukturen (M_i)_{i∈I} in einer gemeinsamen Signatur gebildet wird, indem man das kartesische Produkt der Trägermengen nimmt und durch ein Ultrafilter U auf I faktorisiert, sodass zwei Folgen identifiziert werden, wenn sie auf einer Menge von Indizes in U übereinstimmen; ein Spezialfall ist eine Ultrapower, wenn alle M_i gleich sind.

Prinzip

Das Łoś-Theorem steuert Ultraproducte: Für jede Erstordnungsformel φ und für durch Folgen dargestellte Tupel erfüllt das Ultraproduct φ genau dann, wenn die Menge der Indizes i, für die M_i φ auf den i-ten Komponenten erfüllt, im Ultrafilter U liegt; so werden erstordnungslogische Wahrheiten von den Faktoren auf den Quotienten übertragen.

Demonstration

Eine Ultrapower des reellen Feldes R durch ein nicht-prinzielles Ultrafilter auf N erzeugt ein nicht-standard Modell *R der reellen Zahlen, in dem infinitesimale und unendliche Elemente existieren; das Łoś-Theorem stellt sicher, dass jede erstordnungslogische Eigenschaft von R in *R auf einer U-großen Indexmenge reflektiert wird, was das Transferprinzip der nichtstandard Analysis liefert.

Fehlanwendung

Einen beliebigen Filter anstelle eines Ultrafilters im Quotienten zu verwenden (ein reduziertes Produkt) und dann ein Łoś-artiges Transferergebnis für alle Erstordnungsformeln zu erwarten; ohne Maximalität des Ultrafilters spiegeln die Äquivalenzklassen die erstordnungslogische Wahrheit nicht notwendigerweise sauber wider.

Konsequenz

Ultraproducte sind ein flexibles Werkzeug: sie erzeugen neue Modelle mit kontrollierter Erstordnungstheorie, ermöglichen kompaktitätsähnliche Konstruktionen, dienen zum Aufbau gesättigter Modelle und nicht-standardischer Erweiterungen und erlauben Beweise von Transfer- und Erhaltungsergebnissen über unendliche Familien.

Umkehrung

Das Gegenstück ist das direkte Produkt oder reduzierte Produkt ohne Quotientierung durch ein Ultrafilter; dort ist das globale erstordnungslogische Verhalten einfach punktweise und erfüllt im Allgemeinen nicht den Łoś-Transfer, weshalb der Schritt mit dem Ultrafilter für modelltheoretische Eigenschaften wesentlich ist.

Abgrenzung

Die Konstruktion erfordert die Wahl eines Ultrafilters (nicht-prinziell vorhandene Ultrafilter setzen gewöhnlich das Auswahlaxiom voraus); Ultraproducte betreffen erstordnungslogische Eigenschaften — Phänomene höherer Ordnung bedürfen gesonderter Behandlung — und der Isomorphietyp kann vom Ultrafilter und der Indexmenge abhängen.

Semantische Spannung

Die Spannung liegt zwischen Ultraproducten als grenzwertähnlichen Objekten, die erstordnungslogische Wahrheiten bewahren, und anderen Grenzkonstruktionen (direkte/inverse Limiten), die andere strukturelle Merkmale erhalten; Ultraproducte können Folgen so identifizieren, dass kombinatorische oder kategoriale Strukturen verschleiert werden.

Synthese

Ein Ultraprodukt bildet eine neue Struktur, indem punktweise Folgen von Elementen über eine Indexmenge gemäß einem Ultrafilter zusammengezogen werden, so dass erstordnungslogische Eigenschaften mittels des Łoś-Theorems übertragen werden; es ist eine zentrale Konstruktion, die Modelle mit vorgegebenem erstordnungslogischem Verhalten und starken Transferprinzipien liefert.