|
СЕМИНАРЫ |
Межкафедральный семинар МФТИ по дискретной математике
|
|||
|
О логических вопросах алгебраической геометрии А. Я. Белов, А. М. Елишев, Д. Карпушкин |
|||
Аннотация: Доклад посвящен вопросам связанным с применением в алгебраической геометрии теории моделей а также проблематики, связанной с алгоритмической неразрешимостью. Недавно А.Елишевым и А.Я.Беловым установлена с помощью теории моделей гипотеза Концевича о изоморфизме групп полиномиальных симплектоморфизмов и автоморфизмов алгебры Вейля. Большая часть доклада посвящена доказательству алгоритмической неразрешимости проблемы вложения афинной прямой над |