Reflection principles and provability algebras in formal arithmetic

DSpace/Manakin Repository

Reflection principles and provability algebras in formal arithmetic
 
Beklemishev, L.D.
(2005) Logic Group Preprint Series, volume 236
(Preprint)
Abstract
We study reflection principles in fragments of Peano arithmetic and their applications to the questions of comparison and classification of arithmetical theories.
Download/Full Text
Open Access version via Utrecht University Repository
 
 
 
See more statistics about this item