Authors: B. Plotkin
Abstract
Let

be an arbitrary variety of algebras and H be an algebra in

. Along with algebraic geometry in

over the distinguished algebra H we consider logical geometry in over H. This insight leads to a system of notions and stimulates a number of new problems. We introduce a notion of logically separable in

algebras and consider it in the frames of logically-geometrical relations between different H
1 and H
2 in

. The paper is aimed to give a flavor of a rather new subject in a short and concentrated manner.
E-mail: ,
Fulltext

–
0.12 Mb