Spectra with only unary function symbols
Abstract: "The spectrum of a first-order sentence is the set of cardinalities of its finite models. This paper is concerned with spectra of sentences over languages that contain only unary function symbols. In particular, it is shown that a set S of natural numbers is the spectrum of a sentence over the language of one unary function symbol precisely if S is an eventually periodic set."
Print Book, English, [1998]
IBM Research Division, Yorktown Heights, N.Y., [1998]