Logically-geometrical similarity for algebras and models with the same identities October 18 , 2015

E. Aladova,A. Gvaramia,B. Plotkin,E. Plotkin,T. Plotkin,Bar-Ilan University
Abstract:The paper is related to the field which we call Universal Algebraic Geometry (UAG). All algebras under consideration belong to a variety of algebras Θ. For an arbitrary Θ we construct a system of notions which lead to a bunch of new problems. As a rule, their solutions depend on the choice of a specific Θ. This can be variety of groups Grp, variety of associative or Lie algebras, etc. In particular, it can be the classical variety Com−P of commutative and associative algebras with unit over a field. For example, the paper concerns with the following general problem. For every algebra H ∈ Θ one can define the category of algebraic sets over H. Given H1 and H2 in Θ the question is what are the relations between these algebras that provide an isomorphism of the corresponding categories of algebraic sets. Similar problem stands with respect to situation when algebras are replaced by models and the categories of algebraic sets are replaced by the categories of definable sets. The results on the stated problem are applicable to knowledge theory and, in particular, to knowledge bases.
What problem does this paper attempt to address?