综合
Finite model theory
Finite model theory is the branch of mathematical logic studying the expressive power of logical languages over finite structures, with applications in databases, complexity theory, and formal languages.
综合
Spectrum of a sentence
The spectrum of a sentence is the set of sizes of its finite models, introduced by Heinrich Scholz in 1952; first-order spectra are exactly the NEXPTIME sets.