Reading Gentzen's Three Consistency Proofs Uniformly


Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.4288/kisoron.41.1_1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,914
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 - 2004 - 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.
An Ordinal Analysis of Stability.Michael Rathjen - 2004 - Archive for Mathematical Logic 44 (1):1-62.

View all 25 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Gentzen's Anti-Formalist Ideas.Michael Detlefsen - 2015 - In Reinhard Kahle & Michael Rathjen (eds.), Gentzen's Centenary: The Quest for Consistency. New York: Springer. pp. 25-44.
Consistency Proof Via Pointwise Induction.Toshiyasu Arai - 1998 - Archive for Mathematical Logic 37 (3):149-165.
On the Philosophical Significance of Consistency Proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
Gentzen’s Consistency Proof Without Heightlines.Annika Siders - 2013 - Archive for Mathematical Logic 52 (3-4):449-468.
Propositional Consistency Proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.

Analytics

Added to PP index
2019-10-04

Total views
2 ( #1,265,237 of 2,266,272 )

Recent downloads (6 months)
2 ( #596,389 of 2,266,272 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes

Sign in to use this feature