|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Схемы рефлексии в формальной арифметикедиссертация
- Автор: Беклемишев Лев Дмитриевич
- Дата защиты: 15 октября 1998 года
- Шифр диссертационного совета: Д 002.022.03
- Организация: Математический институт им. В.А. Стеклова РАН
- Область знаний: Физика и математика
- Специальность: 01.01.06 - Математическая логика, алгебра и теория чисел
- Тип диссертации: Докторская
- Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
- Организация, в которой выполнялась работа: Математический институт им. В.А.Стеклова РАН
- Оппоненты: Матиясевич Юрий Владимирович, Семёнов Алексей Львович, Успенский Владимир Андреевич
-
Аннотация:
Настоящая диссертация посвящена исследованию схем рефлексии для фрагментов формальной арифметики Пеано и применению этих схем к вопросам сравнения и классификации арифметических теорий.
- Добавил в систему: Беклемишев Лев Дмитриевич