Spectrum of a theory

ID: 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.

New to topics? Read the docs here!