Back to Search
Start Over
Epsilon substitution for ID1 via cut-elimination.
- Source :
-
Archive for Mathematical Logic . Aug2018, Vol. 57 Issue 5/6, p497-531. 35p. - Publication Year :
- 2018
-
Abstract
- The ϵ<inline-graphic></inline-graphic>-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 ID1<inline-graphic></inline-graphic> using a variant of the cut-elimination formalism introduced by Mints. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09335846
- Volume :
- 57
- Issue :
- 5/6
- Database :
- Academic Search Index
- Journal :
- Archive for Mathematical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 130748873
- Full Text :
- https://doi.org/10.1007/s00153-017-0590-3