The Internet Archive has a preservation copy of this work in our general collections.
The file type is
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 the two-sided semidirect product of a decidable variety with the variety J is decidable.arXiv:1205.4802v1 fatcat:aj7tzkfpmzg7vjio6r65ovk3mm