Back to Search
Start Over
Proof-theoretic strengths of the well-ordering principles
- 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