Die Anzahl der verschiedenen vollständigen n-Typen (bezogen auf eine festgelegte Parametersatz, oft der leere Satz), die in Modellen einer Theorie realisiert sind oder mit der Theorie konsistent sind; dient zur Quantifizierung der Vielfalt vollständiger Beschreibungen von n-Tupeln bis auf starke Äquivalenz.

Prinzip

Typen partitionieren den Raum möglicher n-Tupel nach ihren vollständigen erstordentlichen Beschreibungen; das Zählen von Typen misst, wie viele im Wesentlichen unterschiedliche Verhaltensweisen Tupel zeigen können und ist zentral für Klassifikationsbegriffe wie Stabilität, Superstabilität und ω-Stabilität.

Demonstration

Beispiel: In einer stabilen Theorie ist die Anzahl der 1-Typen über einer abzählbaren Parametersatz höchstens abzählbar, während eine instabile Theorie kontinuum-viele vollständige 1-Typen haben kann; endliche Strukturen realisieren höchstens so viele 1-Typen wie ihre Kardinalität.

Fehlanwendung

Die Anzahl vollständiger Typen mit der Anzahl syntaktischer Formeln zu verwechseln oder anzunehmen, eine hohe Typenzahl bedeute stets algorithmische Unlösbarkeit; Typenzahlen hängen vom Parametersatz ab und davon, ob realisierte gegen konsistente Typen gezählt werden.

Konsequenz

Genaue Typenzahlen ermöglichen die modelltheoretische Klassifikation von Theorien, informieren über Existenz von Prim- oder saturierten Modellen und leiten Transferprinzipien zwischen Kardinalitäten in der Stabilitätstheorie.

Umkehrung

Statt realisierter vollständiger Typen kann man omittierte Typen zählen oder den Raum partieller Typen betrachten; diese Umkehr stellt Unabhängigkeitsphänomene, Omittierbarkeit und Erweiterungseigenschaften in den Vordergrund statt realisierter Vielfalt.

Abgrenzung

Die Typenzahl hängt von der Stelligkeit n, der Wahl des Parametersatzes und davon ab, ob realisierte versus konsistente oder vollständige versus partielle Typen gezählt werden; sie ist ein modelltheoretisches Invariant, aber kontext- und sprachkardinalitätsabhängig.

Semantische Spannung

Es besteht Spannung zwischen syntaktischen Zählungen (Anzahl von Formeln modulo Äquivalenz) und semantischen Zählungen (Typen als maximale konsistente Mengen) sowie zwischen lokalen Zählungen (festes n) und globalen Invarianten wie Morley-Rang oder Spektrumsfunktionen.

Synthese

Die Typenzahl ist das kardinale Maß dafür, wie viele verschiedene vollständige Beschreibungen von n-Tupeln eine Theorie in einem gegebenen Kontext zulässt; durch Verknüpfung dieser Zahlen mit Stabilität und Sättigung ergibt sich ein kompaktes Invariant, das Klassifikations- und Konstruktionsresultate steuert.