Pages that link to "Item:Q1399971"
From MaRDI portal
The following pages link to A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem. (Q1399971):
Displaying 6 items.
- An independence result for \((\Pi^ 1_ 1-CA)+BI\) (Q1097882) (← links)
- Note on a proof of the extended Kirby-Paris theorem on labelled finite trees (Q1110524) (← links)
- Die another day (Q2272192) (← links)
- Beyond Peano Arithmetic – Automatically Proving Termination of the Goodstein Sequence (Q2958394) (← links)
- A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game (Q4333476) (← links)
- Worms, gaps, and hydras (Q5462986) (← links)