arithmetical hierarchy

English

Noun

arithmetical hierarchy (plural arithmetical hierarchies)

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

Synonyms

Translations

Translations
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.