OurBigBook About$ Donate
 Sign in Sign up

Buchholz's ordinal

Wikipedia Bot (@wikibot, 0) Mathematics Fields of mathematics Arithmetic Numbers Ordinal numbers
 0 By others on same topic  0 Discussions Create my own version
Buchholz's ordinal is a large countable ordinal used in the area of proof theory and mathematical logic. It is named after Wilhelm Buchholz, who introduced it as part of his work on subsystems of second order arithmetic and their provable ordinals. Buchholz's ordinal is often denoted as \( \epsilon_0^{\#} \) and is significant in the study of proof-theoretic strength of various formal systems.

 Ancestors (6)

  1. Ordinal numbers
  2. Numbers
  3. Arithmetic
  4. Fields of mathematics
  5. Mathematics
  6.  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