3 research outputs found
From Quantifier Depth to Quantifier Number: Separating Structures with k Variables
Given two -element structures, and , which can
be distinguished by a sentence of -variable first-order logic
(), what is the minimum such that there is guaranteed to
be a sentence with at most quantifiers, such
that but ? We present
various results related to this question obtained by using the recently
introduced QVT games. In particular, we show that when we limit the number of
variables, there can be an exponential gap between the quantifier depth and the
quantifier number needed to separate two structures. Through the lens of this
question, we will highlight some difficulties that arise in analysing the QVT
game and some techniques which can help to overcome them. As a consequence, we
show that is exponentially more succinct than
. We also show, in the setting of the existential-positive
fragment, how to lift quantifier depth lower bounds to quantifier number lower
bounds. This leads to almost tight bounds.Comment: 53 pages, 8 figures; added new result on the relative succinctness of
finite variable logi