Archive for Mathematical Logic 57 (5-6):497-531 (2018)

Abstract
The \-substitution method is a technique for giving consistency proofs for theories of arithmetic. We use this technique to give a proof of the consistency of the impredicative theory \ using a variant of the cut-elimination formalism introduced by Mints.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
ISBN(s)
DOI 10.1007/s00153-017-0590-3
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: 59,864
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

Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.
Proof-Theoretic Analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.
An Ordinal Analysis of Parameter Free Π1 2-Comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.

View all 16 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Epsilon Substitution for Transfinite Induction.Henry Towsner - 2005 - Archive for Mathematical Logic 44 (4):397-412.
Cut Elimination for a Simple Formulation of Epsilon Calculus.Grigori Mints - 2008 - Annals of Pure and Applied Logic 152 (1):148-160.
Epsilon Substitution Method for [Π0 1, Π0 1]-FIX.T. Arai - 2005 - Archive for Mathematical Logic 44 (8):1009-1043.
Epsilon Substitution Method for [Image] -FIX.Toshiyasu Arai - 2006 - Journal of Symbolic Logic 71 (4):1155 - 1188.
Exact Bounds on Epsilon Processes.Toshiyasu Arai - 2011 - Archive for Mathematical Logic 50 (3-4):445-458.
Epsilon Substitution Method for Theories of Jump Hierarchies.Toshiyasu Arai - 2002 - Archive for Mathematical Logic 41 (2):123-153.
Epsilon Substitution Method for $\Pi _{2}^{0}$ -FIX.Toshiyasu Arai - 2006 - Journal of Symbolic Logic 71 (4):1155 - 1188.
Ideas in the Epsilon Substitution Method for -FIX.Toshiyasu Arai - 2005 - Annals of Pure and Applied Logic 136 (1-2):3-21.
Epsilon Calculi.Barry Slater - 2006 - Logic Journal of the IGPL 14 (4):535-590.
Epsilon Substitution Method for ID1.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 121 (2-3):163-208.
The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.
Strong Termination for the Epsilon Substitution Method.Grigori Mints - 1996 - Journal of Symbolic Logic 61 (3):1193-1205.

Analytics

Added to PP index
2017-09-20

Total views
15 ( #660,370 of 59,868 )

Recent downloads (6 months)
1 ( #463,753 of 59,868 )

How can I increase my downloads?

Downloads

My notes