Ein Präordnungsbegriff für vollständige erste‑Ordnungstheorien, der ihre relative Komplexität dadurch vergleicht, welche Theorien bezüglich Klassen regulärer Ultrafiltern saturierte Ultraprodukte besitzen: T1 ≤ T2 genau dann, wenn jedes reguläre Ultrafiltr, das T2 saturiert, auch T1 saturiert.

Prinzip

Die ordnende Idee ist, Komplexität durch Ultrapro­duktverhalten zu messen: Eine Theorie ist ‚anspruchsvoller‘, wenn sie stärkere Ultrafiltern benötigt, um saturierte Ultraprodukte zu erhalten; die Ultrafiltr‑Saturation liefert damit eine Skala der Schwierigkeit.

Demonstration

Konkrete Schichtung: Stabile Theorien liegen typischerweise niedrig in Keislers Ordnung (viele reguläre Ultrafiltern saturieren sie), während bestimmte instabile Theorien, die komplexe kombinatorische Muster codieren, spezielle Ultrafiltern erfordern und höhere Grade einnehmen; dies lässt sich zeigen durch Konstruktion von Ultrafiltern, die einige Theorien saturieren, andere aber nicht.

Fehlanwendung

Verwechslung der Keisler‑Ordnung mit einer linearen Rangfolge wie dem Morley‑Rang oder die Annahme, sie sei in verschiedenen modell‑theoretischen Universen absolut; die Ordnung hängt von existierenden Ultrafiltern und set‑theoretischen Annahmen ab, daher ist die Annahme strikter Linearität oder Absolutheit falsch.

Konsequenz

Bietet ein grobes, aber robustes Invariant für die Klassifikationstheorie: Einteilung von Theorien in Äquivalenzklassen und Schichten, die kombinatorische und Stabilitätseigenschaften widerspiegeln, und Verknüpfung der Modelltheorie mit Ultrafiltr‑/Mengenlehre‑Methoden.

Umkehrung

Die Umkehrung der Relation (zu behaupten T1 > T2) besagt, dass es ein reguläres Ultrafiltr gibt, das T1 saturiert, aber nicht T2; die Umkehrung betont, dass Komplexität relativ und ultrafiltrabhängig ist.

Abgrenzung

Definiert für vollständige Theorien und formuliert mittels regulärer Ultrafiltern und Saturation von Ultraprodukten; die genaue Gestalt kann mit der betrachteten Ultrafiltrklasse variieren und ist sensitiv gegenüber set‑theoretischen Hypothesen (z. B. Existenz bestimmter Ultrafiltern).

Semantische Spannung

Spannung zwischen der Keisler‑Ordnung und anderen Hierarchien (Stabilität, Einfachheit, NIP): Einige Eigenschaften korrelieren mit Keisler‑Stufen, doch keine stimmt vollständig überein, sodass konkurrierende Bewertungsweisen der Theoriekomplexität bestehen.

Synthese

Keislers Ordnung ordnet erste‑Ordnungstheorien danach, wie anspruchsvoll sie für Ultrafiltern sind, um saturierte Ultraprodukte zu erzeugen: ein relatives, ultrafiltr‑sensitives Präordnungsinstrument, das kombinatorische Modell‑Eigenschaften und Mengenlehre im Verhalten von Ultraprodukten verbindet.