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

Доказана неразрешимость общей проблемы выводимости тождеств для неассоциативных колец. В частности, показано, что не существует алгоритма, определяющего по произвольному конечно базируемому многообразию колец, удовлетворяет оно тождеству $(xy)(zt)=0$ или нет.
Библиогр. 4.