On the variable hierarchy of first-order spectra

Eryk Kopczynski, Tony Tan

The spectrum of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models. In this paper we study the hierarchy of first-order spectra…