𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new proof-theoretic proof of the independence of Kirby–Paris’ Hydra Theorem

✍ Scribed by Lorenzo Carlucci

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
370 KB
Volume
300
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

A new proof is given for the independence of the termination of Kirby-Paris' Hydra Game from Peano Arithmetic by showing that it is strong enough to entail the termination of Gentzen's Reduction Strategy for proof ÿgures via an appropriate translation from derivations to hydras.

📜 SIMILAR VOLUMES

A GAME-THEORETIC PROOF OF ANALYTIC RAMSE
A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM
✍ Kazuyuki Tanaka 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 217 KB

## Abstract We give a simple game‐theoretic proof of Silver's theorem that every analytic set is Ramsey. A set __P__ of subsets of ω is called Ramsey if there exists an infinite set __H__ such that either all infinite subsets of __H__ are in __P__ or all out of __P.__ Our proof clarifies a strong c

A new proof of menger's theorem
A new proof of menger's theorem
✍ Peter V. O'Neil 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB 👁 1 views

## Abstract A new proof of Menger's theorem is presented.