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

16 Nov 2019 Walsberg Erik

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 Abstract
No code implementations yet. Submit your code now