Archive for Mathematical Logic 33 (1):35-55 (1994)

Authors
Michael Rathjen
University of Leeds
Abstract
It is shown how the strong ordinal notation systems that figure in proof theory and have been previously defined by employing large cardinals, can be developed directly on the basis of their recursively large counterparts. Thereby we provide a completely new approach to well-ordering proofs as will be exemplified by determining the proof-theoretic ordinal of the systemKPM of [R91]
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01275469
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,508
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Proof Theory.K. Schütte - 1977 - Springer Verlag.
Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
Proof-Theoretic Analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.
Ordinal Notations Based on a Weakly Mahlo Cardinal.Michael Rathjen - 1990 - Archive for Mathematical Logic 29 (4):249-263.

View all 10 references / Add more references

Citations of this work BETA

Proof Theory of Reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.
An Ordinal Analysis of Parameter Free Π1 2-Comprehension.Michael Rathjen - 2004 - Archive for Mathematical Logic 44 (3):263-362.
An Ordinal Analysis of Stability.Michael Rathjen - 2004 - Archive for Mathematical Logic 44 (1):1-62.

View all 15 citations / Add more citations

Similar books and articles

Ordinal Diagrams for Recursively Mahlo Universes.Toshiyasu Arai - 2000 - Archive for Mathematical Logic 39 (5):353-391.
Ordinal Diagrams for Π3-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375 - 1394.
Normal Forms for Elementary Patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
The Veblen Functions for Computability Theorists.Alberto Marcone & Antonio Montalbán - 2011 - Journal of Symbolic Logic 76 (2):575 - 602.
Proof-Theoretic Analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.
Proof Theory for Theories of Ordinals—I: Recursively Mahlo Ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
Fruitful and Helpful Ordinal Functions.Harold Simmons - 2008 - Archive for Mathematical Logic 47 (7-8):677-709.
Proof Theory and Set Theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
An Ordinal Analysis of Stability.Michael Rathjen - 2004 - Archive for Mathematical Logic 44 (1):1-62.

Analytics

Added to PP index
2013-11-23

Total views
33 ( #292,505 of 2,330,902 )

Recent downloads (6 months)
1 ( #589,142 of 2,330,902 )

How can I increase my downloads?

Downloads

My notes