Proof-theoretic strengths of the well-ordering principles

Toshiyasu Arai. Proof-theoretic strengths of the well-ordering principles. Arch. Math. Log., 59(3):257-275, 2020. [doi]

Abstract

Abstract is missing.