TY  - RPRT
TI  - Ordered henselian valued fields: definability and Borel sets
AU  - Lothar Sebastian Krapp
AU  - Floris Vermeulen
PY  - 2026
UR  - https://arxiv.org/abs/2604.08638
ID  - 2604.08638
ER  -