arithmetical hierarchy en · NOUN
Meanings
- A hierarchy which classifies the complexity of first-order formulae (and sets defined by them) based on the number of alternations between series of unbounded existential quantifiers and universal quantifiers.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| arithmetical hierarchies | Number=Plur | lexicographic |
Synonyms
Kleene hierarchy · arithmetic hierarchy · Kleene-Mostowski hierarchy
Translations (3)
pl hierarchia arytmetyczna (Translations) · fi aritmeettinen hierarkia (Translations) · de arithmetische Hierarchie (Translations)