 Lévy hierarchy

The Lévy hierarchy classifies formulas of set theory by their alternations of unbounded quantifiers, ignoring bounded quantifiers of the forms $\forall x\in y$ and $\exists x\in y$.