TY  - RPRT
TI  - A definable henselian valuation with high quantifier complexity
AU  - Immanuel Halupczok
AU  - Franziska Jahnke
PY  - 2015
UR  - https://arxiv.org/abs/1504.01871
ID  - 1504.01871
ER  -