Об $m$-степенях проблемы тождества слов

В статье доказана
Теорема : 1) В любой нетривиальной наследственной $m$-степени имеется проблема тождества слов $2$-порожденной группы.
2) Существует $2$-порожденная рекурсивно определенная группа с ненаследственной проблемой тождества слов.
Теорема дает ответ на вопрос М. К. Валиева (Коуровская тетрадь, 1973, вопрос 4.20). Полученный результат контрастирует с характеризацией $m$-степеней теорий.
Библ. 12.