A dichotomy for expansions of the real field
Logic
2012-12-04 v3
Abstract
A dichotomy for expansions of the real field is established: Either the set of integers is definable or every nonempty bounded nowhere dense definable subset of the real numbers has Minkowski dimension zero.
Cite
@article{arxiv.1105.2946,
title = {A dichotomy for expansions of the real field},
author = {Antongiulio Fornasiero and Philipp Hieronymi and Chris Miller},
journal= {arXiv preprint arXiv:1105.2946},
year = {2012}
}