The Worm principle
Abstract
In [6] an approach to proof-theoretic analysis of Peano arithmetic 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 methodsSimilar works
Full text
Last time updated on 14/06/2016
This paper was published in Utrecht University Repository.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.