A Sneak Preview of Proof Theory of Ordinals

Annals of the Japan Association for Philosophy of Science 20:29-47 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos.20.0_29

Links

PhilArchive



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

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.
Proof theory for theories of ordinals—I: recursively Mahlo ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
A Note on Constructive Ordinals.Akiko Kino - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):189-198.
On ^|^alefsym;0-Complete Cardinals and ^|^Pi;11-Class of Ordinals.Kanji Namba - 1967 - Annals of the Japan Association for Philosophy of Science 3 (2):77-86.
Toshiyasu Arai. Consistency proof via pointwise induction. Archive for mathematical logic, vol. 37 no. 3 , pp. 149–165. [REVIEW]Andreas Weiermann - 2002 - Bulletin of Symbolic Logic 8 (4):536-537.
Kino Akiko. A note on constructive ordinals. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 4 , pp. 189–198. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):294-295.
Mathematical Knowledge : Motley and Complexity of Proof.Akihiro Kanamori - 2013 - Annals of the Japan Association for Philosophy of Science 21:21-35.
Explanation: From Ethics to Logic.Gilles Dowek - 2023 - Annals of the Japan Association for Philosophy of Science 32:1-16.
Review: Toshiyasu Arai, Some Results on Cut-Elimination, Provable Well-Orderings, Induction and Reflection. [REVIEW]Jeremy Avigad - 2001 - Bulletin of Symbolic Logic 7 (1):77-78.
Abstract design theory.Yuzuru Kakuda & Makoto Kikuchi - 2001 - Annals of the Japan Association for Philosophy of Science 10 (3):109-125.

Analytics

Added to PP
2017-08-06

Downloads
18 (#201,463)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Proof-theoretic analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.
Proof theory of reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.
A new system of proof-theoretic ordinal functions.W. Buchholz - 1986 - Annals of Pure and Applied Logic 32:195-207.

View all 19 references / Add more references