The Hydra battle and Cichon's principle
From MaRDI portal
Publication:734036
DOI10.1007/S00200-009-0094-4zbMATH Open1181.68163OpenAlexW2086159557MaRDI QIDQ734036FDOQ734036
Publication date: 19 October 2009
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00200-009-0094-4
Cites Work
- Termination of term rewriting: Interpretation and type elimination
- Handbook of proof theory
- Title not available (Why is that?)
- Termination of term rewriting using dependency pairs
- Proving termination with multiset orderings
- Proof theory. 2nd ed
- Term Rewriting and All That
- Proof theory. The first step into impredicativity
- Title not available (Why is that?)
- Proof-theoretic analysis of termination proofs
- Accessible Independence Results for Peano Arithmetic
- A Uniform Approach to Fundamental Sequences and Hierarchies
- Termination proofs by multiset path orderings imply primitive recursive derivation lengths
- Simply terminating rewrite systems with long derivations
- The Hydra Battle Revisited
- Title not available (Why is that?)
- Derivation lengths and order types of Knuth--Bendix orders
- Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Derivational Complexity of Knuth-Bendix Orders Revisited
Cited In (6)
- Title not available (Why is that?)
- The Hydra Battle Revisited
- A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game
- On Transfinite Knuth-Bendix Orders
- ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations
Recommendations
This page was built for publication: The Hydra battle and Cichon's principle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q734036)