Model Spectrum

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The set of finite cardinalities of structures that realize a first-order theory; viewed as an invariant of the theory, it records which finite sizes admit models of the theory.