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