Arithmetical hierarchy

Noun

Definitions

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

Synonyms

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 atomic formula quantale

🔗 Find words with "arithmetical hierarchy" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.