Л. Д. Беклемишев, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 2005, том 60, выпуск 2(362),страницы 3

Эта публикация цитируется в 77 статьях

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

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

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

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

УДК: 510.23

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

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

DOI: 10.4213/rm1401