Spectrum of a Sentence (First-order Logic)

Definition

Spectrum of a Sentence (First-Order Logic)

Let be a signature and an -sentence. The spectrum of is the set of natural numbers such that has a finite model with exactly elements.