How to avoid a compact set (Q2014009)

In the present paper, expansions of the ordered real additive group \(\langle \mathbb{R}, <, +\rangle\) are studied. In particular, metric dimensions of definable sets (topological, Hausdorff, packing and naïve) are considered. The main result of the paper is that for all \(k, n < \omega\) if \(A\subseteq \mathbb{R}^k\) is closed and nonempty and the Hausdorff dimension exceeds its topological one, then every compact subset of \(\mathbb{R}^n\) can be constructed from \(A\) using finitely many Boolean operations, Cartesian products and linear operations. In addition, the authors show that this statement fails when the packing dimension replaces the Hausdorff dimension.