Reflection principles and provability algebras in formal arithmetic

@inproceedings{Beklemishev2005ReflectionPA,
  title={Reflection principles and provability algebras in formal arithmetic},
  author={Lev D. Beklemishev},
  year={2005}
}
We study reflection principles in fragments of Peano arithmetic and their applications to the questions of comparison and classification of arithmetical theories. Bibliography: 95 items. 

2 Figures & Tables

Topics