Back to Search Start Over

Proof-theoretic strengths of the well-ordering principles

Authors :
Toshiyasu Arai
Source :
Archive for Mathematical Logic. 59:257-275
Publication Year :
2019
Publisher :
Springer Science and Business Media LLC, 2019.

Abstract

In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions $$\mathsf {g}$$ on ordinals is shown to be equal to the least fixed point of $$\mathsf {g}$$ . Moreover corrections to the previous paper (Arai in Arch Math Log 57:649–664, 2017) are made.

Details

ISSN :
14320665 and 09335846
Volume :
59
Database :
OpenAIRE
Journal :
Archive for Mathematical Logic
Accession number :
edsair.doi...........e33f15a86d6a9fd1cef541cb52c39f4e
Full Text :
https://doi.org/10.1007/s00153-019-00689-4