Reflection principles and provability algebras in formal arithmetic
Publication date
2005-05
Authors
Beklemishev, L.D.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
We study reflection principles in fragments of Peano arithmetic and
their applications to the questions of comparison and classification of arithmetical
theories.