Об уравнениях в свободных метабелевых группах

Доказана алгоритмическая неразрешимость уравнений вида $w(x_1,x_2,\dots,x_n)$ в свободной метабелевой группе, откуда следует неразрешимость проблемы эндоморфной сводимости в свободной метабелевой группе счетного ранга.
Библ. 3.