|
Дискретная математика, 1991, том 3, выпуск 4, страницы 79–90
(Mi dm824)
|
|
|
|
Об элементарных теориях конечно-определенных луп со свойством обратимости
Л. В. Шабунин
Аннотация:
Доказывается разрешимость элементарной теории произвольной конечно-определенной
лупы со свойством обратимости. Устанавливается также разрешимость теории класса всех свободных конечно-порожденных луп с отмеченным свойством. Эти результаты распространяются на случай тотально-симметрических луп.
Статья поступила: 23.07.1990
Образец цитирования:
Л. В. Шабунин, “Об элементарных теориях конечно-определенных луп со свойством обратимости”, Дискрет. матем., 3:4 (1991), 79–90
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm824 https://www.mathnet.ru/rus/dm/v3/i4/p79
|
|