Proof theory for theories of ordinals II:< i> Π_< sub> 3-reflection

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2004.01.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
< i> Π_< sup> 1< sub> 2 Wadge degrees.Greg Hjorth - 1996 - Annals of Pure and Applied Logic 77 (1):53-74.
Index sets for< i> Π_< sup> 0< sub> 1 classes.Douglas Cenzer & Jeffrey Remmel - 1998 - Annals of Pure and Applied Logic 93 (1):3-61.
< i> Δ< sub> 0-complexity of the relation< i> y_=< i> Π_< sub> i⩽ n< i> F_(< i> i).Alessandro Berarducci & Paola D'Aquino - 1995 - Annals of Pure and Applied Logic 75 (1):49-56.
A< i> Π_< sup> 1< sub> 2 singleton incompatible with 0< sup>#.M. C. Stanley - 1994 - Annals of Pure and Applied Logic 66 (1):27-88.
Graph colorings and recursively bounded< i> Π_< sub> 1< sup> 0-classes.J. B. Remmel - 1986 - Annals of Pure and Applied Logic 32 (C):185-194.
Epsilon substitution method for< i> ID< sub> 1(< i> Π_< sub> 1< sup> 0∨< i> Σ< sub> 1< sup> 0). [REVIEW]Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 121 (2):163-208.
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 mining in< i> L_< sub> 1-approximation.Ulrich Kohlenbach & Paulo Oliva - 2003 - Annals of Pure and Applied Logic 121 (1):1-38.
Model theory for< i> L_< sub>∞ ω1.Sy D. Friedman - 1984 - Annals of Pure and Applied Logic 26 (2):103-122.

Analytics

Added to PP
2014-03-09

Downloads
15 (#244,896)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

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 parameter free Π12-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