Type Count

The number of distinct complete n-types (over a specified parameter set, often the empty set) that are realized in models of a theory or consistent with the theory; used to quantify the diversity of complete descriptions of n-tuples up to strong equivalence.