✦ 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
DOI: 10.1007/s00153-013-0324-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Explaining Gentzen's consistency proof within infinitary proof theory

✍ Gottlob, Georg; Leitsch, Alexander; Mundici, Daniele 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 763 KB

Two measures for proving Gentzen's Haupt

Two measures for proving Gentzen's Hauptsatz without mix

✍ Mirjana Borisavljević 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 195 KB

Lehrer's proof of the consistency thesis

✍ David Blumenfeld 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 317 KB

On the Original Gentzen Consistency Proo

On the Original Gentzen Consistency Proof for Number Theory.by Paul Bernays; A. Kino; J. Myhill; R. E. Vesley

✍ Review by: J. van Heijenoort 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 82 KB

Consistency proof without transfinite in

Consistency proof without transfinite induction for a formal system for turing machines

✍ Caporaso, Salvatore 📂 Article 📅 1978 🏛 Springer-Verlag ⚖ 493 KB

A Relationship Among Gentzen's Proof-Red

A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game

✍ 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