Definitions from Wiktionary (arithmetical hierarchy)
▸ noun: (logic) 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.
▸ Words similar to arithmetical hierarchy
▸ Usage examples for arithmetical hierarchy
▸ Idioms related to arithmetical hierarchy
▸ Wikipedia articles (New!)
▸ Words that often appear near arithmetical hierarchy
▸ Rhymes of arithmetical hierarchy
▸ Invented words related to arithmetical hierarchy
▸ noun: (logic) 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.
Similar:
arithmetic hierarchy,
Lévy hierarchy,
Kleene hierarchy,
Kleene-Mostowski hierarchy,
arithmetical set,
second-order logic,
monadic second-order logic,
first-order logic,
logical calculus,
elaboration,
more...
Opposite:
▸ Words similar to arithmetical hierarchy
▸ Usage examples for arithmetical hierarchy
▸ Idioms related to arithmetical hierarchy
▸ Wikipedia articles (New!)
▸ Words that often appear near arithmetical hierarchy
▸ Rhymes of arithmetical hierarchy
▸ Invented words related to arithmetical hierarchy