The Hausdorff dimension of metric spaces definable in o-minimal expansions of the real field

Jana Maříková, Erik Walsberg

Let $R$ be an o-minimal expansion of the real field. We show that the Hausdorff dimension of an $R$-definable metric space is an $R$-definable function of the parameters defining t…