Финитно аппроксимируемая ассоциативная алгебра c неразрешимой проблемой равенства

Для любого конструктивного коммутативного кольца $k$ с единицей строится пример финитно аппроксимируемой конечно-порожденной рекурсивно определенной ассоциативной $k$-алгебры с единицей, имеющей неразрешимую проблему равенства. Это отвечает на вопрос Л. А. Бокутя.