An effective characterization of the alternation hierarchy in   two-variable logic
  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. 
Andreas Krebs, Howard Straubing
cs.LO