To determine the descriptive power of different fragments, researchers examine the arithmetical hierarchy, which classifies the complexity of first-order formulas and the sets they define by counting alternations between blocks of unbounded existential and universal quantifiers.