Multi-sorted logic, models and logical geometry

Elena Aladova, Aleko Gvaramia, Boris Plotkin +1

Let $\Theta$ be a variety of algebras, $(H,\Psi ,f)$ be a model, where $H$ is an algebra from $\Theta$, $\Psi$ is a set of relation symbols $\phi$, $f$ is an interpretation of all $\phi$ in $H$. Let $X…