A simplified ordinal analysis of first-order reflection

Journal of Symbolic Logic 85 (3):1163-1185 (2020)

Abstract

In this note we give a simplified ordinal analysis of first-order reflection. An ordinal notation system $OT$ is introduced based on $\psi $ -functions. Provable $\Sigma _{1}$ -sentences on $L_{\omega _{1}^{CK}}$ are bounded through cut-elimination on operator controlled derivations.

Download options

PhilArchive



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

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
2020-10-24

Downloads
7 (#1,076,021)

6 months
1 (#386,499)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Proof Theory of Reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.
An Ordinal Analysis of Stability.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (1):1-62.
Ordinal Diagrams for Recursively Mahlo Universes.Toshiyasu Arai - 2000 - Archive for Mathematical Logic 39 (5):353-391.

Add more references

Citations of this work

Wellfoundedness proof with the maximal distinguished set.Toshiyasu Arai - forthcoming - Archive for Mathematical Logic:1-25.

Add more citations

Similar books and articles

Proof Theory of Reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.
Ordinal Diagrams for Π3-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375 - 1394.
Ordinal Diagrams for $\pi_3$-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375-1394.
Proof Theory and Ordinal Analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.
An Ordinal Analysis of Parameter Free Π1 2-Comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.
Ordinal Analysis by Transformations.Henry Towsner - 2009 - Annals of Pure and Applied Logic 157 (2-3):269-280.
A Note on Gentzen’s Ordinal Assignment.Annika Kanckos - 2019 - Archive for Mathematical Logic 58 (3-4):347-352.
Assignment of Ordinals to Patterns of Resemblance.Gunnar Wilken - 2007 - Journal of Symbolic Logic 72 (2):704 - 720.
Normal Forms for Elementary Patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
Dynamic Ordinal Analysis.Arnold Beckmann - 2003 - Archive for Mathematical Logic 42 (4):303-334.