arithmetical hierarchy

{{logic}} A classification of sets of natural numbers by the complexity of the formulas in the language of Peano arithmetic that define them, specifically by the number of alternations of A and E in the defining formula given the formula is in prenex normal form.