RUS  ENG
Full version
JOURNALS // Uspekhi Matematicheskikh Nauk // Archive
Uspekhi Mat. Nauk, 2005 Volume 60, Issue 2(362), Pages 3–78 (Mi rm1401)
This article is cited in 79 papers

Reflection principles and provability algebras in formal arithmetic

L. D. Beklemishev

Steklov Mathematical Institute, Russian Academy of Sciences

Abstract: This paper is a study of reflection principles in fragments of formal Peano arithmetic and their applications to the comparison and classification of arithmetical theories.

UDC: 510.23

MSC: Primary 03F45, 03F15, 03F30; Secondary 03F05, 03F40

Received: 11.01.2005

DOI: 10.4213/rm1401


 English version: Russian Mathematical Surveys, 2005, 60:2, 197–268

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025