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

Построен пример серии конечно базируемых многообразий колец $\mathfrak X_p$ таких, что проблема равенства в кольце $F_n\mathfrak X_p$ ранга $n$, свободном в многообразии $\mathfrak X_p$, разрешима тогда и только тогда, когда $n<p$.
Библиография: 2 названия.