Der Transfertsatz, der besagt, dass eine erste-Ordnung-Formel genau dann in einem Ultraprodukt (oder Ultrapower) gilt, wenn die Menge der Indizes, für die die Formel in den Faktoren gilt, zum gewählten Ultrafilter gehört.

Prinzip

Erste-Ordnung-Wahrheit wird koordinatenweise durch Ultraprodukte erhalten und reflektiert: Die Bewertung reduziert sich darauf, zu prüfen, ob die Formel auf einer ultrafilter-großen Menge von Koordinaten gilt, wodurch elementare Äquivalenz/Erweiterungsrelationen zwischen Faktoren und Ultraprodukt entstehen.

Demonstration

Wenn jede Struktur M_i einen Satz φ auf einer Menge U von Indizes erfüllt mit U im Ultrafilter, dann erfüllt das Ultraprodukt ∏M_i/U φ; insbesondere erhält die diagonale Einbettung einer Struktur in ihr Ultrapower dieselben erste-Ordnung-Sätze und liefert elementare Erweiterungen.

Fehlanwendung

Łoś' Theorem auf höherstufige Aussagen anzuwenden, auf Filter, die keine Ultrafilter sind (z. B. das kofinite Filter), oder zu übersehen, dass die Sprachen in den Faktoren einheitlich sein müssen, bricht das koordinatenweise Transferprinzip.

Konsequenz

Łoś' Theorem bildet die Grundlage für Ultraprodukt-Techniken: es liefert neue Modelle, die erste-Ordnung-Theorien erhalten, beweist kompaktheitsartige Resultate, konstruiert nichtstandardmäßige Modelle und zeigt, dass Ultrapower elementare Erweiterungen der Ausgangsstruktur sind (bei nicht-prinzipiellen Ultrafiltern).

Umkehrung

Lässt man die Maximalität des Filters fallen, versagt der Transfer: Eine Formel kann in fast allen Koordinaten gelten, ohne dass das Ultraprodukt sie erfüllt. Die Umkehrung macht die Abhängigkeit von der Entscheidungsfähigkeit des Ultrafilters deutlich.

Abgrenzung

Gilt für erste-Ordnung-Sprachen mit derselben Signatur in jedem Faktor und für Ultrafilter; sie erweitert sich nicht auf Logiken, die über Mengen von Elementen quantifizieren (zweite Ordnung), noch auf Filter ohne Ultrafilter-Eigenschaft.

Semantische Spannung

Spannung zum Kompaktheitsatz und anderen modelltheoretischen Konstruktionen: Łoś liefert einen punktweisen Transfer via Ultrafilter, während Kompaktheit auf syntaktischer, endlicher Konsistenz beruht — beide erzeugen Erweiterungen, aber durch verschiedene Mechanismen.

Synthese

Łoś' Theorem ist das koordinatenweise Transfergesetz für Ultraprodukte: Erste-Ordnung-Formeln gelten im Ultraprodukt genau auf ultrafilter-großen Indizesets, wodurch Ultrapower-Konstruktionen elementare Erweiterungen und nichtstandardmäßige Modelle ermöglichen.