Об эквациональных теориях многообразий полугрупп

Abstract

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

We prove that there is no algorithm which, given a finite set ∑ semigroup identities, determines whether the equational theory of the semigroup variety defined by ∑ is a decidable.