##  [Kategorizität](/de/node/61556) 

 Definition

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

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

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

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

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

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

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

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

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.