TY - RPRT TI - A fundamental dichotomy for definably complete expansions of ordered fields AU - Antongiulio Fornasiero AU - Philipp Hieronymi PY - 2015 UR - https://arxiv.org/abs/1305.4767 ID - 1305.4767 ER -