Coarse dimension and definable sets in expansions of the ordered real vector space
Logic
2020-10-21 v2
Abstract
Suppose is nowhere dense. If does not define every bounded Borel subset of every then for every we have for sufficiently large . Then there is an and a linear such that is dense. It follows that if is in addition nowhere dense then defines every bounded Borel subset of every .
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