Eine Theorie T ist in einer Kardinalzahl κ kategorisch, wenn je zwei Modelle von T der Mächtigkeit κ isomorph sind; Kategorizität in einem bestimmten unendlichen κ ist eine starke Eindeutigkeitsbedingung für Modelle dieser Größe und steht am Anfang tiefer Klassifikationsergebnisse (z. B. Morleys Satz für unendliche Kategorizität).

Prinzip

Die Eindeutigkeit eines Modells bis auf Isomorphie in einer gegebenen Größe schränkt die kombinatorische und algebraische Struktur der Modelle ein und erzwingt oft Stabilitäts- oder andere Zähmungsbedingungen, die eine strukturelle Klassifikation ermöglichen.

Demonstration

Die Theorie dichter linearer Ordnungen ohne Endpunkte ist ℵ0-kategorisch: bis auf Isomorphie existiert genau eine abzählbare dichte Ordnung ohne Endpunkte (die rationalen Zahlen mit ihrer Ordnung), also hat die Theorie ein eindeutiges abzählbares Modell.

Fehlanwendung

Zu behaupten, Kategorizität in einer Kardinalzahl impliziere Kategorizität in anderen; zum Beispiel folgt aus ℵ0-Kategorizität nicht automatisch Kategorizität in unendlichen Kardinalitäten, und kategorisches Verhalten hängt von der Sprache und Signatur ab.

Konsequenz

Kategorizität führt zu starken modelltheoretischen Konsequenzen wie Vollständigkeit, Kontrolle der Automorphismengruppen und oft Stabilität; in vielen Fällen erlaubt sie eine vollständige strukturelle Beschreibung der Modelle der betrachteten Kardinalität.

Umkehrung

Eine Theorie, die in κ nicht kategorisch ist, besitzt mehrere nichtisomorphe Modelle der Kardinalität κ, was auf Vielfalt der möglichen Strukturen und das Scheitern einer starren Klassifikation in dieser Größe hinweist.

Abgrenzung

Kategorizität ist relativ zu einer Kardinalität und einer fixierten Sprache definiert; sie trifft keine Aussage über Modelle anderer Kardinalitäten und kann empfindlich gegenüber Sprach-Erweiterungen oder -Reduktionen sein.

Semantische Spannung

Spannung zwischen Kategorizität, Vollständigkeit und Modellvollständigkeit: Kategorizität betrifft Modell-Einzigartigkeit in einer Größe, Vollständigkeit die Entscheidung von Sätzen; eine Theorie kann vollständig, aber nicht kategorisch sein und umgekehrt.

Synthese

Kategorizität bedeutet Isomorphie-Einzigartigkeit der Modelle in einer gegebenen Kardinalität und fungiert als starke Hypothese, die strukturelle Regelmäßigkeit erzwingt und tiefgehende Klassifikationssätze ermöglicht.