A non-Abelian variety of groups has an undecidable elementary theory
scientific article; zbMATH DE number 3664903