Some definability results in abstract Kummer theory
scientific article; zbMATH DE number 6369463