Suppose $E \subseteq \mathbb{R}$ is nowhere dense. If $(\mathbb{R},<,+,(x \mapsto \lambda x)_{\lambda \in \mathbb{R} }, E)$ does not define every bounded Borel subset of every $\mathbb{R}^n$ then for every $s > 0$ we have $$ | \{ k \in \mathbb{Z}, -m \leq k \leq m - 1 : [k,k+1] \cap E \neq \emptyset \} | < m^s $$ for sufficiently large $m \in \mathbb{N}$... (read more)

PDF- LOGIC