Reflection principles and provability algebras in formal arithmetic
Abstract
We study reflection principles in fragments of Peano arithmetic and their applications to the questions of comparison and classification of arithmetical theoriesSimilar 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.