Algebraic Geometry over Groups II. Logical Foundations

The object of this paper, which is the second in a series of three, is to lay the logical foundations of the algebraic geometry over groups. Exploiting links between the algebraic geometry over groups and model theory we solve two problems on geometrical equivalence of groups which are due to B. Plotkin.