Аннотация:
В рамках доклада будет изложено подробное доказательство следующего результата, полученного Владимиром Шавруковым:
алгебры Магари арифметики Пеано PA и теории множеств Цермело-Френкеля ZF не изоморфны.
Доказательство основано на сравнении скорости роста доказуемо тотальных вычислимых функций
в указанных теориях и использует методы как теории доказательств, так и теории вычислимости.
В конце доклада будет дан краткий обзор других известных результатов, касающихся изоморфизма,
элементарной эквивалентности и элементарных теорий алгебр Магари.
|
