О проблеме тождества слов для дискриминаторных многообразий

Доказывается, что любое не локально конечное рекурсивно аксиоматизируемое дискриминаторное многообразие конечной сигнатуры содержит рекурсивно определенную алгебру с неразрешимой проблемой тождества слов. Как следствие получается, что любое не локально конечное дискриминаторное многообразие конечной сигнатуры с разрешимой эквациональной теорией не является хигмановым.
Библиогр. 6.