The Hydra Battle Revisited

DOI10.1007/978-3-540-73147-4_1zbMATH Open1181.68161OpenAlexW1518285759MaRDI QIDQ3608809FDOQ3608809

Authors Nachum Dershowitz, Georg Moser 

Publication date 6 March 2009

Published in Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73147-4_1

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) First-order arithmetic and fragments (03F30)

Recommendations

• The Hydra battle and Cichon's principle
• scientific article; zbMATH DE number 35094
• scientific article; zbMATH DE number 5172485
• scientific article; zbMATH DE number 4089568
• scientific article; zbMATH DE number 7379291
• Taming a Hydra of Singularities
• Routh revisited
• Hyperarithmetical worm battles
• Vandiver revisited
• Worms, gaps, and hydras

Cited In (10)

• Die another day
• On some slowly terminating term rewriting systems
• Title not available (Why is no real title available?)
• Die Another Day
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations
• The Hydra battle and Cichon's principle
• Independence of Ramsey theorem variants using \(\varepsilon _0\)

This page was built for publication: The Hydra Battle Revisited

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