English Explanatory Dictionary

arithmetical hierarchy

English dictionary entry

Meanings

noun
  1. 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.

Word forms

arithmetical hierarchy arithmetical hierarchies

Synonyms

arithmetic hierarchy Kleene hierarchy Kleene-Mostowski hierarchy
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on A Russian dictionary Dahl dictionary