TY - RPRT TI - Defining integer valued functions in rings of continuous definable functions over a topological field AU - Luck Darnière AU - Marcus Tressl PY - 2018 UR - https://arxiv.org/abs/1810.12562 ID - 1810.12562 ER -