A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem.
scientific article; zbMATH DE number 1957330