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: oai:dspace.library.uu.nl:1874/27024
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles

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