|
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
15 мая 2017 г. 18:35–20:15, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
О неизоморфизме алгебр Магари для PA и ZF
Колмаков Евгений |
Количество просмотров: |
Эта страница: | 143 |
|
Аннотация:
В рамках доклада будет изложено подробное доказательство следующего результата, полученного Владимиром Шавруковым:
алгебры Магари арифметики Пеано PA и теории множеств Цермело-Френкеля ZF не изоморфны.
Доказательство основано на сравнении скорости роста доказуемо тотальных вычислимых функций
в указанных теориях и использует методы как теории доказательств, так и теории вычислимости.
В конце доклада будет дан краткий обзор других известных результатов, касающихся изоморфизма,
элементарной эквивалентности и элементарных теорий алгебр Магари.
|
|