OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Arithmetical hierarchy

 Home Mathematics Fields of mathematics Mathematical logic Mathematical logic hierarchies
 0 By others on same topic  0 Discussions  1970-01-01  See my version
The Arithmetical Hierarchy is a classification of decision problems (or sets of natural numbers) based on the complexity of their definitions in terms of logical formulas. It arises from the study of computability and formal logic, particularly in relation to first-order arithmetic. The hierarchy is built on the idea of quantifier alternation in logical statements.

 Ancestors (5)

  1. Mathematical logic hierarchies
  2. Mathematical logic
  3. Fields of mathematics
  4. Mathematics
  5.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook