In this note the proof-theoretic ordinal of the well-ordering principle for the strictly increasing functions $g$ on ordinals is shown to be equal to the least closure point of $g$.
Well ordering principles and $Π^1_4$-statements: a pilot study
Reflection ranks via infinitary derivations
Well ordering principles and bar induction
![QR code for arXiv:1811.09964 [math.LO]](http://oss.arxitics.com/images/favicon.svg)