About algorithmic unsolvability of the embeddings problem for algebraic manifolds over field of zero characteristics (доклад по Skype (@knots-in-moscow))

Let A and B be affine manifolds over fields of zero characteristic. Is there an embedding from A to B? In this work we prove that there is no algorithm which can check this. We set this for manifolds which are defined by generators and defining relations. Moreover, this is true if A is an affine space and if A is an affine line over R.