TY - RPRT TI - Wild theories with o-minimal open core AU - Philipp Hieronymi AU - Travis Nell AU - Erik Walsberg PY - 2017 UR - https://arxiv.org/abs/1707.02062 ID - 1707.02062 ER -