Effective descriptive set theory

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

mathematical concept

extension of the arithmetical hierarchy