## [Keislers Ordnung](/de/node/60394) Definition 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 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 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 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 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 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 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 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 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.