RUS  ENG
Полная версия
ЖУРНАЛЫ // Успехи математических наук // Архив
УМН, 2005, том 60, выпуск 2(362), страницы 3–78 (Mi rm1401)
Эта публикация цитируется в 78 статьях

Схемы рефлексии и алгебры доказуемости в формальной арифметике

Л. Д. Беклемишев

Математический институт им. В. А. Стеклова РАН

Аннотация: Настоящая работа посвящена исследованию схем рефлексии для фрагментов формальной арифметики Пеано и применению этих схем к вопросам сравнения и классификации арифметических теорий.
Библиография: 95 названий.

УДК: 510.23

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

Поступила в редакцию: 11.01.2005

DOI: 10.4213/rm1401


 Англоязычная версия: Russian Mathematical Surveys, 2005, 60:2, 197–268

Реферативные базы данных:

© МИАН, 2024