Algebraic geometry in First Order Logic

B. Plotkin

In every variety of algebras $\Theta$ we can consider its logic and its algebraic geometry. In the previous papers geometry in equational logic, i.e., equational geometry has been studi…