Proof-theoretic ordinals of the well ordering principles - Toshiyasu Arai (2018)