English

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

Logic 2020-10-21 v2

Abstract

Suppose ERE \subseteq \mathbb{R} is nowhere dense. If (R,<,+,(xλx)λR,E)(\mathbb{R},<,+,(x \mapsto \lambda x)_{\lambda \in \mathbb{R} }, E) does not define every bounded Borel subset of every Rn\mathbb{R}^n then for every s>0s > 0 we have {kZ,mkm1:[k,k+1]E}<ms | \{ k \in \mathbb{Z}, -m \leq k \leq m - 1 : [k,k+1] \cap E \neq \emptyset \} | < m^s for sufficiently large mNm \in \mathbb{N}. Then there is an nNn \in \mathbb{N} and a linear T:RnRT : \mathbb{R}^n \to \mathbb{R} such that T(En)T(E^n) is dense. It follows that if EE is in addition nowhere dense then (R,<,+,0,(xλx)λR,E)(\mathbb{R},<,+,0,(x \mapsto \lambda x)_{\lambda \in \mathbb{R}}, E) defines every bounded Borel subset of every Rn\mathbb{R}^n.

Keywords

Cite

@article{arxiv.1903.00736,
  title  = {Coarse dimension and definable sets in expansions of the ordered real vector space},
  author = {Erik Walsberg},
  journal= {arXiv preprint arXiv:1903.00736},
  year   = {2020}
}

Comments

New version, accepted by Illinois J. Math