IMCS/Publications/BASM/Issues/BASM n.2 (54), 2007/

Locicaly separable algebras in varieties of algebras.

Authors: B. Plotkin


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 H1 and H2 in . The paper is aimed to give a flavor of a rather new subject in a short and concentrated manner.

E-mail: ,


Adobe PDF document0.12 Mb