𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Gentzen’s consistency proof without heightlines

✍ Scribed by Siders, Annika


Book ID
120316048
Publisher
Springer
Year
2013
Tongue
English
Weight
222 KB
Volume
52
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A Relationship Among Gentzen's Proof-Red
✍ Masahiro Hamano; Mitsuhiro Okada 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 831 KB

## Abstract We first note that Gentzen's proof‐reduction for his consistency proof of PA can be directly interpreted as moves of Kirby‐Paris' Hydra Game, which implies a direct independence proof of the game (Section 1 and Appendix). Buchholz's Hydra Game for labeled hydras is known to be much stro