Annals of Pure and Applied Logic 129 (1):39-92 (2004)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2004.01.001
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: 60,795
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 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 - 2005 - Archive for Mathematical Logic 44 (3):263-362.
Proof Theory for Theories of Ordinals—I: Recursively Mahlo Ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
Pure Proof Theory Aims, Methods and Results.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.

View all 6 references / Add more references

Citations of this work BETA

Ordinal Analysis by Transformations.Henry Towsner - 2009 - Annals of Pure and Applied Logic 157 (2-3):269-280.
Reading Gentzen's Three Consistency Proofs Uniformly.Ryota Akiyoshi & Yuta Takahashi - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):1-22.
A Sneak Preview of Proof Theory of Ordinals.Toshiyasu Arai - 2012 - Annals of the Japan Association for Philosophy of Science 20:29-47.

View all 6 citations / Add more citations

Similar books and articles

Proof Theory for Theories of Ordinals II: Π3-Reflection.Toshiyasu Arai - 2004 - Annals of Pure and Applied Logic 129 (1-3):39-92.
Ordinal Diagrams for Π3-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375 - 1394.
Proof Theory for Theories of Ordinals—I: Recursively Mahlo Ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
Ordinal Diagrams for Recursively Mahlo Universes.Toshiyasu Arai - 2000 - Archive for Mathematical Logic 39 (5):353-391.
Consistency Proof Via Pointwise Induction.Toshiyasu Arai - 1998 - Archive for Mathematical Logic 37 (3):149-165.

Analytics

Added to PP index
2014-03-09

Total views
8 ( #963,347 of 2,438,793 )

Recent downloads (6 months)
1 ( #436,491 of 2,438,793 )

How can I increase my downloads?

Downloads

My notes