A descending chain condition for groups definable in o-minimal structures
scientific article; zbMATH DE number 2181956
scientific article