|
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
26 марта 2018 г. 18:30–20:05, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
Об аксиоме ограниченности в слабых теориях множеств
Ф. Н. Пахомов |
Количество просмотров: |
Эта страница: | 102 |
|
Аннотация:
Важной частью теории множеств Крипке-Платека с праэлементами $\mathsf{KPU}$ является схема $\Delta_0$-ограниченности ($\Delta_0$-collection). В докладе будут рассмотрены теории расширяющие слабый $\Pi_2$-аксиоматизируемый фрагмент $\mathsf{KPU}^{--}$ теории $\mathsf{KPU}$, который, в частности, не содержит схемы $\Delta_0$-ограниченности. Доказано, что $\Pi_2$-аксиоматизируемые расширения $\mathsf{KPU}^{--}$ могут быть консервативно расширенны схемой $\Delta_0$-ограниченности если и только если они замкнуты относительно правила $\Delta_0$-ограниченности. В качестве простых следствий этого результата могут быть получен как ряд известных результатов о консервативности для подсистем арифметики первого и второго порядка так и некоторые, насколько мне известно, новые результаты такого рода.
|
|