RUS  ENG
Полная версия
СЕМИНАРЫ

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


Системы инцидентности на декартовых степенях алгебраических кривых

Дмитрий Сустретов



Аннотация: Классическая абстрактная проективная геометрия позволяет восстановить поле по аксиоматически определённой геометрии прямых на проективной плоскости над этим полем. Доклад будет посвящён совместной работе с А. Хассоном, в которой доказывается в некотором смысле аналогичный результат о восстановлении поля по системе инцидентности, в которой позволяется, грубо говоря, рассматривать не только прямые, но и алгебраические кривые произвольных степеней, а восстановление поля понимается как интерпретируемость в теории логики первого порядка. В первой части доклада я раскажу о контексте такого рода результатов (трихотомия Зильбера) и объясню понятия, необходимые для его формулировки, а во второй расскажу о доказательстве при помощи так называемой теоремы о групповой конфигурации.


© МИАН, 2024