Proof-theoretic strengths of the well-ordering principles
In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions g on ordinals is shown to be equal to the least fixed point of g . Moreover corrections to the previous paper (Arai in Arch Math Log 57:649–664, 2017 ) are made.
Gespeichert in:
| Veröffentlicht in: | Archive for mathematical logic 2020-05, Vol.59 (3-4), p.257-275 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions
g
on ordinals is shown to be equal to the least fixed point of
g
. Moreover corrections to the previous paper (Arai in Arch Math Log 57:649–664,
2017
) are made. |
|---|---|
| ISSN: | 0933-5846 1432-0665 |
| DOI: | 10.1007/s00153-019-00689-4 |