Reflection principles and provability algebras in formal arithmetic

被引：61

作者：

Beklemishev, LD ^{[1
]}

机构：

[1] VA Steklov Math Inst, Moscow 117333, Russia

[2] Univ Utrecht, NL-3508 TC Utrecht, Netherlands

来源：

RUSSIAN MATHEMATICAL SURVEYS | 2005年 / 60卷 / 02期

关键词：

D O I：

10.1070/RM2005v060n02ABEH000823

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：197 / 268

页数：72

共 96 条

[1] Contradictions of the number theory.
Ackermann, W
[J]. MATHEMATISCHE ANNALEN, 1940, 117 : 162 - 194
[2] [Anonymous], MAT ZAMETKI
[3] [Anonymous], 1976, JAHRESBERICHT DTSCH
[4] [Anonymous], 1937, J SYMBOLIC LOGIC, DOI 10.2307/2266293
[5] [Anonymous], 1993, METAMATHEMATICS 1 OR
[6] Epsilon substitution method for ID1(Π10 V Σ10)
Arai, T
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2003, 121 (2-3) : 163 - 208
[7] Epsilon substitution method for theories of jump hierarchies
Arai, T
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (02) : 123 - 153
[8] ARTEMOV S, 2004, HDB PHILOS LOGIC, V13, P229
[9] Artemov S. N., 1993, Notre Dame Journal of Formal Logic, V34, P401, DOI 10.1305/ndjfl/1093634729
[10] ARTEMOV SN, 1982, PROBLEMS CYBERNETICS, P3

← 1 2 3 4 5 6 7 8 9 10 →