|
Эта публикация цитируется в 78 научных статьях (всего в 78 статьях)
Схемы рефлексии и алгебры доказуемости в формальной арифметике
Л. Д. Беклемишев Математический институт им. В. А. Стеклова РАН
Аннотация:
Настоящая работа посвящена исследованию схем рефлексии для
фрагментов формальной арифметики Пеано и применению этих
схем к вопросам сравнения и классификации арифметических теорий.
Библиография: 95 названий.
Поступила в редакцию: 11.01.2005
Образец цитирования:
Л. Д. Беклемишев, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60:2(362) (2005), 3–78; Russian Math. Surveys, 60:2 (2005), 197–268
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/rm1401https://doi.org/10.4213/rm1401 https://www.mathnet.ru/rus/rm/v60/i2/p3
|
Статистика просмотров: |
Страница аннотации: | 1356 | PDF русской версии: | 643 | PDF английской версии: | 65 | Список литературы: | 103 | Первая страница: | 3 |
|