References & Citations
Computer Science > Logic in Computer Science
Title: On the variable hierarchy of first-order spectra
(Submitted on 10 Mar 2014 (v1), last revised 12 Feb 2015 (this version, v3))
Abstract: 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 based on the number of variables. It has been conjectured that it collapses to three variable. We show the opposite: it forms an infinite hierarchy. However, despite the fact that more variables can express more spectra, we show that to establish whether the class of first-order spectra is closed under complement, it is sufficient to consider sentences using only three variables and binary relations.
Submission history
From: Tony Tan [view email][v1] Mon, 10 Mar 2014 12:27:12 GMT (9kb)
[v2] Mon, 22 Sep 2014 20:57:01 GMT (37kb)
[v3] Thu, 12 Feb 2015 09:48:34 GMT (39kb)
Link back to: arXiv, form interface, contact.