Pages that link to "Item:Q734036"
From MaRDI portal
The following pages link to The Hydra battle and Cichon's principle (Q734036):
Displaying 6 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM (Q3096819) (← links)
- The Hydra Battle Revisited (Q3608809) (← links)
- A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game (Q4333476) (← links)
- (Q5009706) (← links)
- On Transfinite Knuth-Bendix Orders (Q5200038) (← links)