Pages that link to "Item:Q4333476"
From MaRDI portal
The following pages link to A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game (Q4333476):
Displaying 6 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem. (Q1399971) (← links)
- Die another day (Q2272192) (← links)
- On some slowly terminating term rewriting systems (Q3466405) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- (Q5101339) (← links)
