Ein Satz der Modelltheorie, der besagt: Ist eine vollständige ersteordentliche Theorie in einer abzählbaren Sprache in irgendeinem unendlichen (nicht‑abzählbaren) Kardinal κ kategorisch (d. h. hat genau einen Isomorphietyp eines Modells der Mächtigkeit κ), so ist sie in allen nicht‑abzählbaren Kardinalitäten kategorisch; kurz: Kategorizität in einem unendlichen Kardinal überträgt sich auf alle unendlichen Kardinale.

Prinzip

Einzigartigkeit in einer unendlichen Mächtigkeit propagiert: Die strukturelle Starrheit, die aus der Kategorizität in einem unendlichen Kardinal folgt, zusammen mit Vollständigkeit und Abzählbarkeit der Sprache, erzwingt einen eindeutigen Isomorphietyp für Modelle jeder unendlichen Mächtigkeit.

Demonstration

Beispielsweise ist die Theorie algebraisch abgeschlossener Körper fester Charakteristik in jeder unendlichen Mächtigkeit kategorisch: weil Modelle durch den Transzendenzgrad bestimmt sind, liefert Kategorizität in einem unendlichen Kardinal mittels Morleys Satz Kategorizität in allen unendlichen Kardinalen und zeigt damit das Übertragungsphänomen.

Fehlanwendung

Morleys Satz auf abzählbare Kardinale anwenden (die Erwartung, aus einem unendlichen Fall Kategorizität in ℵ0 zu erhalten) oder die Voraussetzung der Abzählbarkeit der Sprache bzw. der Vollständigkeit der Theorie außer Acht lassen; der Satz bezieht sich speziell auf unendliche Kardinalitäten in abzählbarer Sprache und vollständige Theorien.

Konsequenz

Morleys Theorem begründet tiefe Klassifikationsresultate: Kategorizität in einem unendlichen Kardinal impliziert starke strukturelle Eigenschaften wie ω‑Stabilität und ermöglicht eine feingliedrige Analyse von Modellen (z. B. Orthogonalität, Analyse mittels minimaler Typen) über alle unendlichen Mächtigkeiten.

Umkehrung

Das Umgekehrte ist eine Theorie, die in einigen Kardinalitäten kategorisch ist, in anderen jedoch nicht (insbesondere in keiner unendlichen Kardinalität); ein solches Verhalten kann auftreten, wenn die Voraussetzungen von Morley nicht erfüllt sind oder in nicht‑first‑order Kontexten.

Abgrenzung

Voraussetzung ist eine vollständige ersteordentliche Theorie in einer abzählbaren Sprache und die Annahme der Kategorizität in wenigstens einem unendlichen Kardinal; der Satz behandelt nicht die Kategorizität in abzählbarer Kardinalität und lässt sich nicht ohne Weiteres auf nicht‑abzählbare Sprachen oder Logiken jenseits des Ersten Ordners übertragen.

Semantische Spannung

Morleys globales Übertragungsprinzip steht in Spannung mit lokalen Begriffen wie ω‑Kategorizität und starker Minimalität: Kategorizität in unendlichen Kardinalen erzwingt Zähmungs‑Eigenschaften (ω‑Stabilität, Zerlegung in minimale Typen), doch implizieren diese lokalen Eigenschaften nicht automatisch globale Kategorizität ohne die entsprechenden Voraussetzungen.

Synthese

Morleys Theorem verbindet eine einzelne unendliche Instanz von Eindeutigkeit mit universeller Eindeutigkeit über alle unendlichen Kardinalitäten für vollständige ersteordentliche Theorien in abzählbaren Sprachen: Es wandelt punktuelle Starrheit in ein umfassendes Klassifikationsprinzip, das die moderne Stabilitätstheorie maßgeblich prägt.