Proof-theoretic strengths of the well ordering principles
Toshiyasu Arai · arXiv (Cornell University) · 2018
In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions ${\sf g}$ on ordinals is shown to be equal to the least fixed point of ${\sf g}$. Moreover corrections to the previous paper are made.