On algorithmic unsolvability of the problem embeddability of algebraic varieties over a field of characteristic zero

A. J. Kanel-Belov, A. A. Chilikov

We show that for two afii varieties over an arbitrary field of characteristic zero, there is no general form of an algorithm for checking the presence of an embedding of one algebr…