Annals of Pure and Applied Logic 162 (2):107-143 (2010)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2010.08.002
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: 62,401
Through your library

References found in this work BETA

Proof Theory for Theories of Ordinals—I: Recursively Mahlo Ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
Proof Theory for Theories of Ordinals II: Π3-Reflection.Toshiyasu Arai - 2004 - Annals of Pure and Applied Logic 129 (1-3):39-92.
Well-Ordering Proofs for Martin-Löf Type Theory.Anton Setzer - 1998 - Annals of Pure and Applied Logic 92 (2):113-159.
Ordinal Diagrams for Recursively Mahlo Universes.Toshiyasu Arai - 2000 - Archive for Mathematical Logic 39 (5):353-391.

View all 8 references / Add more references

Citations of this work BETA

Conservations of First-Order Reflections.Toshiyasu Arai - 2014 - Journal of Symbolic Logic 79 (3):814-825.
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.
A Simplified Ordinal Analysis of First-Order Reflection.Toshiyasu Arai - 2020 - Journal of Symbolic Logic 85 (3):1163-1185.
Proof Theory as an Analysis of Impredicativity.Ryota Akiyoshi - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):93-107.

Add more citations

Similar books and articles

Consistency Proof Via Pointwise Induction.Toshiyasu Arai - 1998 - Archive for Mathematical Logic 37 (3):149-165.
Modal Property Comprehension.Ulrich Meyer - 2013 - Synthese 190 (4):693-707.
Epsilon Substitution Method for $\pi _{2}^{0}$ -FIX.Toshiyasu Arai - 2006 - Journal of Symbolic Logic 71 (4):1155 - 1188.
Epsilon Substitution Method for [Image] -FIX.Toshiyasu Arai - 2006 - Journal of Symbolic Logic 71 (4):1155 - 1188.
Fixed Point Logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
A Note on Theories for Quasi-Inductive Definitions.Riccardo Bruni - 2009 - Review of Symbolic Logic 2 (4):684-699.

Analytics

Added to PP index
2013-12-18

Total views
42 ( #253,497 of 2,445,468 )

Recent downloads (6 months)
7 ( #102,253 of 2,445,468 )

How can I increase my downloads?

Downloads

My notes