A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem.
From MaRDI portal
Publication:1399971
DOI10.1016/S0304-3975(02)00332-8zbMath1040.91022MaRDI QIDQ1399971
Publication date: 30 July 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Cites Work
- Proof theory. 2nd ed
- An independence result for \((\Pi^ 1_ 1-CA)+BI\)
- A direct independence proof of Buchholz's Hydra Game on finite labeled trees
- Rapidly growing Ramsey functions
- Accessible Independence Results for Peano Arithmetic
- A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game
- A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
- Unnamed Item
