TY - RPRT TI - Expansions of the reals which do not define the natural numbers AU - Antongiulio Fornasiero PY - 2011 UR - https://arxiv.org/abs/1104.1699 ID - 1104.1699 ER -