Нераспознаваемость некоторых аппроксимационных свойств относительно свободных групп

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