Spectrum of a theory
= Spectrum of a theory
{wiki=Spectrum_of_a_theory}
In the context of mathematical logic and model theory, the term "spectrum" of a theory refers to the set of natural numbers that represent the sizes of finite models of a given first-order theory. More precisely, if a theory \\( T \\) has finite models, its spectrum consists of all natural numbers \\( n \\) such that there exists a finite model of \\( T \\) with exactly \\( n \\) elements.