Authors: B. Plotkin
Abstract
Let
![](/files/basm/y2007-n2/y2007-n2-f1.png)
be an arbitrary variety of algebras and H be an algebra in
![](/files/basm/y2007-n2/y2007-n2-f1.png)
. Along with algebraic geometry in
![](/files/basm/y2007-n2/y2007-n2-f1.png)
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
![](/files/basm/y2007-n2/y2007-n2-f1.png)
algebras and consider it in the frames of logically-geometrical relations between different H
1 and H
2 in
![](/files/basm/y2007-n2/y2007-n2-f1.png)
. The paper is aimed to give a flavor of a rather new subject in a short and concentrated manner.
E-mail: ,
Fulltext
![Adobe PDF document](/i/pdf.gif)
–
0.12 Mb