RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Научная сессия МИАН, посвященная подведению итогов 2018 года
21 ноября 2018 г. 14:00–14:15, г. Москва, конференц-зал МИАН (ул. Губкина, 8)
 


Исчисление для схем рефлексии и спектры консервативности

Л. Д. Беклемишев
Видеозаписи:
MP4 438.1 Mb
MP4 199.0 Mb

Количество просмотров:
Эта страница:71
Видеофайлы:17

Л. Д. Беклемишев
Фотогалерея


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Аннотация: При определённых условиях с данной арифметической теорией T можно связать счётную последовательность конструктивных ординалов, называемую её спектром консервативности. n-ный по счёту ординал такой последовательности характеризует множество предложений арифметического класса Пn, доказуемых в данной теории. В работе показано, что совокупность всех возможных спектров консервативности фрагментов арифметики Пеано наделена естественной структурой полурёшетки с монотонными операторами рефлексии и консервативности, которую можно описать в комбинаторных терминах с точностью до изоморфизма. Поведение операторов рефлексии и консервативности описывается строго позитивным исчислением, исследованным в данной работе. Для замкнутого фрагмента этого исчисления доказана алгоритмическая разрешимость и арифметическая полнота. Получены эффективные нормальные формы замкнутых формул, которые находятся во взаимно-однозначном соответствии со спектрами консервативности ограниченных подтеорий арифметики Пеано.

Статьи по теме:

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019