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

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




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


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

Дмитрий Сустретов
Видеозаписи:
MP4 2,630.1 Mb
MP4 1,194.2 Mb

Количество просмотров:
Эта страница:250
Видеофайлы:63

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



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