Proof-theoretic strengths of the well-ordering principles

Archive for Mathematical Logic 59 (3-4):257-275 (2020)

Abstract

In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions \ on ordinals is shown to be equal to the least fixed point of \. Moreover corrections to the previous paper are made.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,879

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2019-07-31

Downloads
11 (#859,949)

6 months
1 (#386,001)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Proof Theory and Logical Complexity. [REVIEW]Helmut Pfeifer - 1991 - Annals of Pure and Applied Logic 53 (4):197.
Derivatives of Normal Functions and $$\omega $$ Ω -Models.Toshiyasu Arai - 2018 - Archive for Mathematical Logic 57 (5-6):649-664.

View all 7 references / Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

Variation on a Theme of Schutte.D. Probst & G. Jager - 2004 - Mathematical Logic Quarterly 50 (3):258.
Ordinal Diagrams for Π3-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375 - 1394.
The Veblen Functions for Computability Theorists.Alberto Marcone & Antonio Montalbán - 2011 - Journal of Symbolic Logic 76 (2):575 - 602.
Ordinal Diagrams for Recursively Mahlo Universes.Toshiyasu Arai - 2000 - Archive for Mathematical Logic 39 (5):353-391.
Ordinal Diagrams for $\pi_3$-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375-1394.
A Proof-Theoretic Account of Classical Principles of Truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.
Provability Algebras and Proof-Theoretic Ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
Proof-Theoretic Analysis by Iterated Reflection.Lev D. Beklemishev - 2003 - Archive for Mathematical Logic 42 (6):515-552.
A Proof-Theoretic Analysis of Collection.Lev D. Beklemishev - 1998 - Archive for Mathematical Logic 37 (5-6):275-296.