Coarse dimension and definable sets in expansions of the ordered real vector space (Q2188420)

The present paper studies properties of definable sets in expansions of the ordered real vector space. The author proves that for any subset \(E\) of the set of real numbers with positive coarse Minkowski dimension there exist a natural number \(n\) and linear \(T: \mathbb{R}^n\to \mathbb{R}\) such that \(T(E^n)\) is dense. As a corollary, he receives if \(E\) is in addition nowhere dense then the ordered real vector space expanded by a unary predicate defining \(E\) defines every bounded Borel subset of every \(\mathbb{R}^n\).