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

Abstract
This paper deals with a proof theory for a theory T3 of Π3-reflecting ordinals using the system O of ordinal diagrams in Arai 1375). This is a sequel to the previous one 1) in which a theory for recursively Mahlo ordinals is analyzed proof-theoretically
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: 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 of Reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.
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 Π3-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375 - 1394.
Pure Proof Theory Aims, Methods and Results.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.

Add more references

Citations of this work BETA

Proof Theory of Weak Compactness.Toshiyasu Arai - 2013 - Journal of Mathematical Logic 13 (1):1350003.
Epsilon Substitution Method for [Image] -FIX.Toshiyasu Arai - 2006 - Journal of Symbolic Logic 71 (4):1155 - 1188.
Ordinal Analysis by Transformations.Henry Towsner - 2009 - Annals of Pure and Applied Logic 157 (2-3):269-280.

View all 11 citations / Add more citations

Similar books and articles

Proof Theory for Theories of Ordinals II:< I> Π_< Sub> 3-Reflection.Toshiyasu Arai - 2004 - Annals of Pure and Applied Logic 129 (1):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-01-16

Total views
7 ( #965,414 of 2,330,885 )

Recent downloads (6 months)
1 ( #587,623 of 2,330,885 )

How can I increase my downloads?

Downloads

My notes