BabelNet

bn:01115745n

Noun Concept

Categories: Mathematical logic hierarchies, Effective descriptive set theory, Hierarchy, Complexity classes, Computability theory

arithmetical hierarchy AH arithmetic hierarchy arithmetic reducibility arithmetical reducibility

In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene–Mostowski hierarchy classifies certain sets based on the complexity of formulas that define them. Wikipedia

Definitions

Relations

Sources

In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene–Mostowski hierarchy classifies certain sets based on the complexity of formulas that define them. Wikipedia

Hierarchy which classifies certain sets based on the complexity of formulas that define them Wikidata

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. Wiktionary

IS A

hierarchical classification

CREATOR

DIFFERENT FROM

NAMED AFTER

STUDIED BY

computational complexity theory

Wikipedia