Pages that link to "Item:Q1128173"
From MaRDI portal
The following pages link to A direct independence proof of Buchholz's Hydra Game on finite labeled trees (Q1128173):
Displaying 11 items.
- The Hydra battle and Cichon's principle (Q734036) (← links)
- An independence result for \((\Pi^ 1_ 1-CA)+BI\) (Q1097882) (← links)
- A slow growing analogue to Buchholz' proof (Q1182465) (← links)
- A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem. (Q1399971) (← links)
- Die another day (Q2272192) (← links)
- (Q3680651) (← links)
- Hercules versus Hidden Hydra Helper (Q3989710) (← links)
- A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game (Q4333476) (← links)
- (Q5009706) (← links)
- (Q5018496) (← links)
- (Q5046965) (← links)