Some model theory of profinite groups
scientific article; zbMATH DE number 7184873