Об универсальной теории свободной полинильпотентной группы

Доказано, что свободная группа ранга $\geqslant2$ любого полинильпотентного многообразия $\mathfrak N_{c_1}\mathfrak N_{c_2}\dots\mathfrak N_{c_s}$, $s\geqslant2$, $c_i\geqslant1$, $c_s\geqslant2$, имеет неразрешимую универсальную теорию.
Библиография: 18 наименований.