Неабелево многообразие групп имеет неразрешимую элементарную теорию

Доказана гипотеза Ю. Л. Ершова: всякое неабелэво многообразие групп имеет неразрешимую элементарную теорию. В частности, положительно решена проблема А. Тарского: всякое многообразие групп, собственно содержащее многообразие всех абелевых групп, имеет неразрешимую теорию.