The following pages link to The Hydra Battle Revisited (Q3608809):
Displaying 9 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- The Hydra battle and Cichon's principle (Q734036) (← links)
- Die another day (Q2272192) (← links)
- Independence of Ramsey theorem variants using \(\varepsilon _0\) (Q2789881) (← links)
- On some slowly terminating term rewriting systems (Q3466405) (← links)
- (Q3970636) (← links)
- (Q5009706) (← links)
- (Q5111307) (← links)
- (Q5297489) (← links)