|
|
Definition of Arithmetical hierarchy
1. Noun. (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. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Arithmetical Hierarchy
Other Resources:
