Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
21 октября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
 


Бар-индукция для классов в арифметике второго порядка

Ф. Н. Пахомов
Видеозаписи:
MP4 2,831.3 Mb

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

Ф. Н. Пахомов



Аннотация: Основной результат о котором я планирую рассказать состоит в том, что в арифметике второго порядка схема βₙ-модельной рефлексии эквивалентна схеме трансфинитной индукции для фундированных Π¹ₙ частичных порядков X≺Y. Отмечу, что теоретико-доказательственная сила схемы βₙ-модельной рефлексии находится между Π¹ₙ-свертыванием и Π¹ₙ₊₁-свертыванием. Доказательство этого результата опирается на две конструкции, которые могут быть интересны и в отдельности. Во-первых, разработка соответствия между нефундированными доказательствами в логике первого порядка и фундированными инфинитарными доказательствами. Во-вторых, конструкция декартово замкнутой категории классов реляционных структур замкнутых относительно изоморфизмов и подструктур. В первом из двух докладов я опишу эти две достаточно простые конструкции. Во втором докладе я расскажу о том, как формализация этих двух конструкций в арифметике второго порядка позволяет получить основной результат.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024