LIPIcs.FSTTCS.2012.86.pdf
- Filesize: 491 kB
- 13 pages
We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities. This implies decidability of the individual levels. More generally we show that two-sided semidirect products with J as the right-hand factor preserve decidability.
Feedback for Dagstuhl Publishing