A direct independence proof of Buchholz's Hydra Game on finite labeled trees
From MaRDI portal
Publication:1128173
DOI10.1007/s001530050084zbMath0908.03047OpenAlexW1994920379MaRDI QIDQ1128173
Masahiro Hamano, Mitsuhiro Okada
Publication date: 18 March 1999
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050084
Game theory (91A99) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem., Unnamed Item, Unnamed Item, Die another day
