TY - RPRT TI - Definable valuations on ordered fields AU - Philip Dittmann AU - Franziska Jahnke AU - Lothar Sebastian Krapp AU - Salma Kuhlmann PY - 2022 DO - 10.2140/mt.2023.2.101 UR - https://arxiv.org/abs/2206.15301 ID - 2206.15301 ER -