|
Дискретная математика, 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
|
Статистика просмотров: |
Страница аннотации: | 248 | PDF полного текста: | 126 | Первая страница: | 1 |
|