TY - RPRT TI - Model theory of valued fields AU - Raf Cluckers PY - 2003 UR - https://arxiv.org/abs/math/0311433 ID - math/0311433 ER -