A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Spectrum hierarchies and subdiagonal functions
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.
The spectrum of a first-order sentence is the set of cardinalities of its finite models. Relatively little is known about the subclasses of spectra that are obtained by looking only at sentences with a specific signature. In this paper, we study natural subclasses of spectra and their closure properties under simple subdiagonal functions. We show that many natural closure properties turn out to be equivalent to the collapse of potential spectrum hierarchies. We prove all of our results using explicit transformations on first-order structures.
doi:10.1109/lics.2003.1210068
dblp:conf/lics/Hunter03
fatcat:wpxho6f5ajgizj2ffmm2gph6vy