Michael Rathjen, Pedro Francisco Valencia Vizcaino
Published 2014-05-18Version 1
In this paper we show that the existence of omega-models of bar induction is equivalent to the principle saying that applying the Howard-Bachmann operation to any well-ordering yields again a well-ordering.
Well ordering principles and $Π^1_4$-statements: a pilot study
Proof-theoretic ordinals of the well ordering principles
How strong are single fixed points of normal functions?
![QR code for arXiv:1405.4485 [math.LO]](http://oss.arxitics.com/images/favicon.svg)