|
Сибирский математический журнал, 1991, том 32, номер 6, страницы 128–130
(Mi smj3395)
|
|
|
|
О проблеме тождества слов для дискриминаторных многообразий
А. Г. Пинус
Аннотация:
Доказывается, что любое не локально конечное рекурсивно аксиоматизируемое дискриминаторное многообразие конечной сигнатуры содержит рекурсивно определенную алгебру с неразрешимой проблемой тождества слов. Как следствие получается, что любое не локально конечное дискриминаторное многообразие конечной сигнатуры с разрешимой эквациональной теорией не является хигмановым.
Библиогр. 6.
Статья поступила: 28.06.1989
Образец цитирования:
А. Г. Пинус, “О проблеме тождества слов для дискриминаторных многообразий”, Сиб. матем. журн., 32:6 (1991), 128–130; Siberian Math. J., 32:6 (1991), 1005–1007
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3395 https://www.mathnet.ru/rus/smj/v32/i6/p128
|
Статистика просмотров: |
Страница аннотации: | 58 | PDF полного текста: | 24 |
|