О логических вопросах алгебраической геометрии

Доклад посвящен вопросам связанным с применением в алгебраической геометрии теории моделей а также проблематики, связанной с алгоритмической неразрешимостью. Недавно А.Елишевым и А.Я.Беловым установлена с помощью теории моделей гипотеза Концевича о изоморфизме групп полиномиальных симплектоморфизмов и автоморфизмов алгебры Вейля.
Большая часть доклада посвящена доказательству алгоритмической неразрешимости проблемы вложения афинной прямой над ${\mathbb R}$ в алгебраическое многообразие, тем самым алгоритмически неразрешима проблема вложения двух алгебраических многообразий.