arithmetical hierarchy

English

Noun

arithmetical hierarchy (plural arithmetical hierarchies)

(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

Finnish: aritmeettinen hierarkia
German: arithmetische Hierarchie f
Polish: hierarchia arytmetyczna f

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.