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

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





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








Семинар отдела математической логики «Теория доказательств»
26 марта 2018 г. 18:30–20:05, г. Москва, online на платформе Zoom
 


Об аксиоме ограниченности в слабых теориях множеств

Ф. Н. Пахомов

Количество просмотров:
Эта страница:37

Аннотация: Важной частью теории множеств Крипке-Платека с праэлементами $\mathsf{KPU}$ является схема $\Delta_0$-ограниченности ($\Delta_0$-collection). В докладе будут рассмотрены теории расширяющие слабый $\Pi_2$-аксиоматизируемый фрагмент $\mathsf{KPU}^{–}$ теории $\mathsf{KPU}$, который, в частности, не содержит схемы $\Delta_0$-ограниченности. Доказано, что $\Pi_2$-аксиоматизируемые расширения $\mathsf{KPU}^{–}$ могут быть консервативно расширенны схемой $\Delta_0$-ограниченности если и только если они замкнуты относительно правила $\Delta_0$-ограниченности. В качестве простых следствий этого результата могут быть получен как ряд известных результатов о консервативности для подсистем арифметики первого и второго порядка так и некоторые, насколько мне известно, новые результаты такого рода.

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