1: \begin{abstract}

2:   \noindent

3:   We consider the two-variable fragment $\FO^2[{<}]$ of first-order

4:   logic over finite words. Numerous characterizations of this class

5:   are known. Th{\'e}\-rien and Wilke have shown that it is decidable

6:   whether a given regular language is definable in $\FO^2[{<}]$.  From

7:   a practical point of view, as shown by Weis, $\FO^2[{<}]$ is

8:   interesting since its satisfiability problem is in

9:   $\NP$. Restricting the number of quantifier alternations yields an

10:   infinite hierarchy inside the class of $\FO^2[{<}]$-definable

11:   languages. We show that each level of this hierarchy is decidable.

12:   For this purpose, we relate each level of the hierarchy with a

13:   decidable variety of finite monoids.

14: 

15:   Our result implies that there are many different ways of climbing up

16:   the $\FO^2[{<}]$-quantifier alternation hierarchy: deterministic and

17:   co-deterministic products, Mal'cev products with definite and

18:   reverse definite semigroups, iterated block products with $\greenJ$-trivial monoids, and some inductively defined omega-term identities. A

19:   combinatorial tool in the process of ascension is that of

20:   condensed rankers, a refinement of the rankers of Weis and Immerman

21:   and the turtle programs of Schwentick, Th{\'e}rien, and Vollmer.

22: \end{abstract}

23: