Skip to main content
MathOverflow

Return to Question

changed epsilon to epsilon_0 for clarity
Source Link
François G. Dorais
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233

I know some proofs require the existence of large infinite ordinals, they give the fuel that drives induction principles. An example of this is the use of epsilonε0 to give a consistency proof of peano arithmetic.

What I would like to find is proofs that require the existence of a large finite ordinal. thank you!

I know some proofs require the existence of large infinite ordinals, they give the fuel that drives induction principles. An example of this is the use of epsilon to give a consistency proof of peano arithmetic.

What I would like to find is proofs that require the existence of a large finite ordinal. thank you!

I know some proofs require the existence of large infinite ordinals, they give the fuel that drives induction principles. An example of this is the use of ε0 to give a consistency proof of peano arithmetic.

What I would like to find is proofs that require the existence of a large finite ordinal. thank you!

Post Made Community Wiki
Source Link
muad
muad
  • 1.4k
  • 8
  • 27
  • 29

Proofs that require the existence of large finite numbers

I know some proofs require the existence of large infinite ordinals, they give the fuel that drives induction principles. An example of this is the use of epsilon to give a consistency proof of peano arithmetic.

What I would like to find is proofs that require the existence of a large finite ordinal. thank you!