Nombre de Types

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Le nombre de types complets distincts de rang n (par rapport à un ensemble de paramètres donné, souvent l'ensemble vide) qui sont réalisés dans des modèles d'une théorie ou consistants avec la théorie ; sert à quantifier la diversité des descriptions complètes de n-uples à équivalence forte près.