Definable compactness in definably complete locally o-minimal structures
scientific article; zbMATH DE number 7960097
scientific article