A direct independence proof of Buchholz's Hydra Game on finite labeled trees

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

zbMATH Keywords

consistencyBuchholz HydraHeracles and Hydra Gameisolated number theoryordinal diagram

Mathematics Subject Classification ID

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