| |
Беклемишев, Л. Д.
Схемы рефлексии и алгебры доказуемости в формальной арифметике [Текст] / Л. Д. Беклемишев
// Успехи математических наук. – 2005. – 60, Вып.2(362). – 3-78.
Настоящая работа посвящена исследованию схем рефлексии для фрагментов формальной арифметики Пеано и применению этих схем к вопросам сравнения и классификации арифметических теорий |
