Anzahl der Typen

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.