Pages that link to "Item:Q1128173"

The following pages link to A direct independence proof of Buchholz's Hydra Game on finite labeled trees (Q1128173):

Displaying 5 items.

• 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)
• (Q5009706) (← links)
• (Q5018496) (← links)