arithmetical hierarchy

hierarchy which classifies certain sets based on the complexity of formulas that define them