Eine Charakterisierung der abzählbaren (ω‑)Kategorizität in der Modelltheorie: Für eine abzählbare Sprache ist eine vollständige Theorie genau dann ω‑kategorisch (hat bis auf Isomorphie genau ein abzählbares Modell), wenn sie für jede natürliche Zahl n nur endlich viele n‑Typen über der leeren Menge besitzt; äquivalent dazu ist, dass die Automorphismengruppe ihres abzählbaren Modells oligomorph ist (für jedes n nur endlich viele Bahnen auf n‑Tupeln hat).

Prinzip

Eine syntaktische Endlichkeitsbedingung der Typen mit einer Permutationsgruppensicht der Symmetrie verknüpfen: das endliche Verhalten der n‑Typen über der leeren Menge für alle n entspricht einer starken globalen Homogenität des abzählbaren Modells, die durch Oligomorphie des Automorphismen­­gruppes ausgedrückt wird.

Demonstration

Der zufällige (Rado‑)Graph ist ω‑kategorisch: In seinem abzählbaren Modell gibt es für jedes n nur endlich viele n‑Typen über der leeren Menge, und seine Automorphismengruppe wirkt mit endlich vielen Bahnen auf n‑Tupeln, sodass der Satz anwendbar ist und die kategorizität bestätigt.

Fehlanwendung

Annehmen, der Satz gelte in nicht‑abzählbaren Sprachen oder ohne Vollständigkeit; die Äquivalenzen verlangen eine abzählbare Sprache und eine vollständige Theorie, und die Endlichkeitsbedingung muss für alle Aritäten n über der leeren Menge geprüft werden (nicht nur für n=1).

Konsequenz

Ryll‑Nardzewski bietet eine kraftvolle Brücke zwischen Modelltheorie und Permutationsgruppentheorie, erlaubt den Transfer kombinatorischer und algebraischer Methoden (Bahnenanalyse, Aufzählung definierbarer Relationen) und schränkt die definierbaren Mengen in abzählbaren Modellen stark ein.

Umkehrung

Die Negation bedeutet, für irgendeine Arität n unendlich viele n‑Typen über der leeren Menge zu haben; das ist äquivalent dazu, dass die Automorphismengruppe unendlich viele Bahnen auf n‑Tupeln hat und folglich die kategorizität in der abzählbaren Kardinalität fehlschlägt und die modelltheoretische Komplexität zunimmt.

Abgrenzung

Gilt für vollständige ersteordentliche Theorien in abzählbaren Sprachen und charakterisiert die kategorizität in der abzählbaren Kardinalität; er behandelt nicht unmittelbar die kategorizität in unendlichen Kardinalitäten oder Sprachen höherer Mächtigkeit und ersetzt nicht weitere notwendige Hypothesen wie Vollständigkeit.

Semantische Spannung

Der Satz stellt zwei Perspektiven gegenüber: eine syntaktische der Typenzählung und eine semantische über Symmetrie mittels Automorphismengruppen; Spannung entsteht, wenn man versucht, eine der Seiten außerhalb des abzählbaren, erstenordentlichen Rahmens zu verallgemeinern.

Synthese

Ryll‑Nardzewski fasst die kategorizität in der abzählbaren Kardinalität zu einer Äquivalenz zusammen: Endlichkeit der n‑Typen über der leeren Menge für jedes n, oligomorphes Wirken der Automorphismengruppe und Eindeutigkeit des abzählbaren Modells; diese Äquivalenz verbindet Definierbarkeit, Symmetrie und Zählung in einer handhabbaren Bedingung.