Definitions from Wiktionary (Arithmetic hierarchy)
▸ noun: (logic) Alternative form of arithmetical hierarchy [(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 arithmetic hierarchy
▸ Usage examples for arithmetic hierarchy
▸ Idioms related to arithmetic hierarchy
▸ Wikipedia articles (New!)
▸ Words that often appear near arithmetic hierarchy
▸ Rhymes of arithmetic hierarchy
▸ Invented words related to arithmetic hierarchy
▸ noun: (logic) Alternative form of arithmetical hierarchy [(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:
arithmetical hierarchy,
arithmetical set,
clarithmetic,
Presburger arithmetic,
binary arithmetic,
zero-order logic,
propositional calculus,
Peano arithmetic,
universal arithmetic,
formal logic,
more...
Opposite:
▸ Words similar to arithmetic hierarchy
▸ Usage examples for arithmetic hierarchy
▸ Idioms related to arithmetic hierarchy
▸ Wikipedia articles (New!)
▸ Words that often appear near arithmetic hierarchy
▸ Rhymes of arithmetic hierarchy
▸ Invented words related to arithmetic hierarchy