arithmetical hierarchy

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Noun

[edit]
English Wikipedia has an article on:
Wikipedia

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

[edit]

Translations

[edit]
Translations
Retrieved from "https://en.wiktionary.org/w/index.php?title=arithmetical_hierarchy&oldid=76705354"