A generalization and a new proof of Plotkin's reduction theorem

Grigori Zhitomirski

It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that…