6 papers
Geometrical Equivalence and Action Type Geometrical Equivalence of Group Representations
J. Simoes da Silva, A. Tsurkov
In this paper we present the example which proves that we can not conclude the geometrical equivalence of group representations from the corresponding action-type geometrical equiv…
Logically automorphically equivalent knowledge bases
Elena Aladova, Tatjana Plotkin
Knowledge bases theory provide an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical…
Multi-sorted logic, models and logical geometry
Elena Aladova, Aleko Gvaramia, Boris Plotkin +1
Let be a variety of algebras, be a model, where is an algebra from , is a set of relation symbols , is an interpretation of all in . Let $X…
Algebraic logic and logically-geometric types in varieties of algebras
Boris Plotkin, Elena Aladova, Eugene Plotkin
The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algeb…
Varieties of representations of groups and varieties of associative algebras
Elena Aladova, Boris Plotkin
The goal of this paper is to consider some relations between varieties of representations of groups and varieties of associative algebras. The main emphasis is put on the varieties…
PI-groups and PI-representations of groups
E. Aladova, B. Plotkin
It is well known that many famous Burnside-type problems have positive solutions for PI-groups and PI-algebras. In the present article we also consider various Burnside-type proble…