Definability in algebraically closed groups
scientific article; zbMATH DE number 3521959