Seminars: A. Ya. Belov, Algorithmic undecidability of the problem of embeddability of algebraic varieties

SEMINARS


Seminars "Proof Theory" and "Logic Online Seminar" December 16, 2024 16:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Kontur Talk

Algorithmic undecidability of the problem of embeddability of algebraic varieties A. Ya. Belov^abc ^a Bar-Ilan University, Ramat Gan ^b Moscow Institute of Physics and Technology (State University), Dolgoprudny, Moscow region ^c Lomonosov Moscow State University