analytic hierarchy
The analytic hierarchy is a hierarchy of either (depending on context) formulas or relations
similar to the arithmetical hierarchy. It is essentially the second order
equivalent
. Like the arithmetical hierarchy, the relations in each level are exactly the relations defined by the formulas of that level.
The first level can be called , , , or , and consists of the arithmetical formulas or relations.
A formula is if there is some arithmetical formula such that:
Similarly, a formula is if there is some arithmetical formula such that: