Die another day

DOI10.1007/S00224-008-9109-YMaRDI QIDQ2272192zbMATHOpenAlexFDO

Authors Rudolf Fleischer

Publication date 6 August 2009

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-008-9109-y

zbMATH Keywords

Peano arithmetictransfinite inductionPABuchholz HydraHydra battleKönig's lemma

Mathematics Subject Classification ID

Games involving graphs (91A43) First-order arithmetic and fragments (03F30)

Recommendations

• Die Another Day
• Hydra groups.
• scientific article; zbMATH DE number 4089568
• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• The Hydra Battle Revisited

Cites work

• scientific article; zbMATH DE number 2174388 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game
• A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
• A direct independence proof of Buchholz's Hydra Game on finite labeled trees
• A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem.
• Accessible Independence Results for Peano Arithmetic
• Accessible Recursive Functions
• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• Classifying phase transition thresholds for Goodstein sequences and hydra games
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• In memoriam: Kenneth Jon Barwise, 1942--2000
• Nonstandard Arithmetic and Reverse Mathematics
• On the restricted ordinal theorem
• Some independence results for Peano arithmetic
• TREES AND BALL GAMES
• The 3x + 1 Problem and Its Generalizations
• The Hydra Battle Revisited
• The consistency of arithmetics
• Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
• Weak König's lemma implies Brouwer's fan theorem: a direct proof

Cited in

(2)

• Die Another Day
• Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations

This page was built for publication: Die another day

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2272192)