arXiv Open Access 2015

Epsilon Substitution for $ID_1$ via Cut-Elimination

Henry Towsner

Lihat Sumber

Abstrak

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 $ID_1$ using a variant of the cut-elimination formalism introduced by Mints.

Topik & Kata Kunci

math.LO

Penulis (1)

Henry Towsner

Format Sitasi

APA MLA BibTeX

Towsner, H. (2015). Epsilon Substitution for $ID_1$ via Cut-Elimination. https://arxiv.org/abs/1509.00390

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2015
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓