Еще раз о вопросе Хигмана

Строится двупорожденная группа с коперечислимой проблемой равенства, не представимая рекурсивными перестановками. Это отвечает на один вопрос Г. Хигмана и дает пример с минимально возможным числом порождающих. Более ранняя работа автора (Об одном вопросе Хигмана, Алгебра и логика, 29, N 1 (1990), 29–34), претендующая на решение этой проблемы, содержит неисправимую ошибку.