TY - RPRT TI - Hardy fields, the intermediate value property, and $ω$-freeness AU - Matthias Aschenbrenner AU - Lou van den Dries AU - Joris van der Hoeven PY - 2019 UR - https://arxiv.org/abs/1904.01069 ID - 1904.01069 ER -