Об одном обобщении задачи 9.25 из “Коуровской тетради”

В работе доказывается алгоритмическая неразрешимость одного обобщения задачи 9.25 из “Коуровской тетради”, поставленной Г. С. Маканиным: не существует алгоритма, позволяющего по произвольному уравнению $w(x_1,\dots,x_n)=1$ в свободной неабелевой группе $F$ и числу $t$ ($1\leqslant t\leqslant n$) определить, существует ли в $F$ решение этого уравнения с условием $x_1\in[F,F],\dots,x_t\in[F,F]$.
Библиогр. 7 назв.