Skip to main content
Article thumbnail
Location of Repository

The Worm principle

By L.D. Beklemishev


In [6] an approach to proof-theoretic analysis of Peano arithmetic\ud based an the motion of graded provability algebra was suggested. Here we present a provability-algebraic version of the independent combinatorial Hydra battle principle. This allows for simple independence proofs of both principles based on provability-algebraic methods

Topics: Wijsbegeerte
Year: 2003
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.