TY  - RPRT
TI  - Definable henselian valuation rings
AU  - Alexander Prestel
PY  - 2014
UR  - https://arxiv.org/abs/1401.4813
ID  - 1401.4813
ER  -