Hausdorff dimension of metric spaces definable in o-minimal expansions of the real field
scientific article; zbMATH DE number 7922313