|
Труды Института математики, 2015, том 23, номер 2, страницы 112–122
(Mi timb249)
|
|
|
|
Logically-geometrical similarity for algebras and models with the same identities
E. Aladovaabcd, A. Gvaramiaacbd, B. Plotkinacbd, E. Plotkinacbd, T. Plotkincbda a Bar Ilan University, Ramat Gan, Israel
b Abkhazian State University, Sukhumi, Abkhazia
c Hebrew University of Jerusalem, Jerusalem, Israel
d Penza State University, Russia
Аннотация:
The paper is related to the field which we call Universal Algebraic Geometry (UAG). All algebras under
consideration belong to a variety of algebras $\Theta$. For an arbitrary $\Theta$ we construct a system of notions which lead to a bunch of new problems. As a rule, their solutions depend on the choice of specific $\Theta$. It can be the variety of groups $Grp$, the variety of associative or Lie algebras, etc. In particular, it can be the classical
variety $Com-P$ of commutative and associative algebras with a unit over a field.
For example, the paper concerns with the following general problem. For every algebra $H\in\Theta$ one can
define the category of algebraic sets over $H$. Given $H_1$ and $H_2$ in $\Theta$, 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 the situation when algebras are replaced by models and categories of algebraic
sets are replaced by categories of definable sets. The results on the stated problem are applicable to knowledge
theory and, in particular, to knowledge bases.
Поступила в редакцию: 19.10.2015
Образец цитирования:
E. Aladova, A. Gvaramia, B. Plotkin, E. Plotkin, T. Plotkin, “Logically-geometrical similarity for algebras and models with the same identities”, Тр. Ин-та матем., 23:2 (2015), 112–122
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/timb249 https://www.mathnet.ru/rus/timb/v23/i2/p112
|
Статистика просмотров: |
Страница аннотации: | 194 | PDF полного текста: | 79 | Список литературы: | 28 |
|