In mathematical logic and descriptive set theory, the analytical hierarchy is a higher type analogue of the arithmetical hierarchy; it thus continues the classification of sets by the formulas the define them.
The analytical hierarchy is a higher type analogue of the arithmetical hierarchy. This is in mathematical logic. This is in descriptive set theory. It thus continues the classification of sets by the formulas the define them.