Reflection principles and provability algebras in formal arithmetic

L D Beklemishev
2005 Russian Mathematical Surveys  
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.
doi:10.1070/rm2005v060n02abeh000823 fatcat:vlcfh7twnbfcvmvceieyrlzzem