@Article{         PierronPlaceZeitoun,
  Author        = "Pierron, Th{\'e}o and Place, Thomas and Zeitoun, Marc",
  Abstract      = "We investigate the expressive power of quantifier alternation hierarchy of first-order logic over words. This hierarchy includes the classes ${\Sigma}\_i$ (sentences having at most $i$ blocks of quantifiers starting with an $\exists$) and $\mathcal{B}{\Sigma}\_i$ (Boolean combinations of ${\Sigma}\_i$ sentences). So far, this expressive power has been effectively characterized for the lower levels only. Recently, a breakthrough was made over finite words, and decidable characterizations were obtained for $\mathcal{B}{\Sigma}\_2$ and ${\Sigma}\_3$, by relying on a decision problem called separation, and solving it for ${\Sigma}\_2$. The contribution of this paper is a generalization of these results to the setting of infinite words: we solve separation for ${\Sigma}\_2$ and ${\Sigma}\_3$, and obtain decidable characterizations of $\mathcal{B}{\Sigma}\_2$ and ${\Sigma}\_3$ as consequences.",
  date-added    = "2016-02-23 13:38:13 +0000",
  date-modified = "2016-02-23 13:38:13 +0000",
  EPrint        = "1511.09011",
  Month         = "11",
  Title         = "Quantifier Alternation for Infinite Words",
  URL           = "http://arxiv.org/abs/1511.09011",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1511.09011",
  File          = "Quantifier Alternation for Infinite Words - Pierron, Place, Zeitoun (0) (0) - a - a - g.pdf"
}

@Article{ PierronPlaceZeitoun, Author = "Pierron, Th{\'e}o and Place, Thomas and Zeitoun, Marc", Abstract = "We investigate the expressive power of quantifier alternation hierarchy of first-order logic over words. This hierarchy includes the classes ${\Sigma}_i$ (sentences having at most $i$ blocks of quantifiers starting with an $\exists$) and $\mathcal{B}{\Sigma}_i$ (Boolean combinations of ${\Sigma}_i$ sentences). So far, this expressive power has been effectively characterized for the lower levels only. Recently, a breakthrough was made over finite words, and decidable characterizations were obtained for $\mathcal{B}{\Sigma}_2$ and ${\Sigma}_3$, by relying on a decision problem called separation, and solving it for ${\Sigma}_2$. The contribution of this paper is a generalization of these results to the setting of infinite words: we solve separation for ${\Sigma}_2$ and ${\Sigma}_3$, and obtain decidable characterizations of $\mathcal{B}{\Sigma}_2$ and ${\Sigma}_3$ as consequences.", date-added = "2016-02-23 13:38:13 +0000", date-modified = "2016-02-23 13:38:13 +0000", EPrint = "1511.09011", Month = "11", Title = "Quantifier Alternation for Infinite Words", URL = "http://arxiv.org/abs/1511.09011", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1511.09011", File = "Quantifier Alternation for Infinite Words - Pierron, Place, Zeitoun (0) (0) - a - a - g.pdf" }