TY - RPRT TI - Definable retractions and a non-Archimedean Tietze--Urysohn theorem over Henselian valued fields AU - Krzysztof Jan Nowak PY - 2019 UR - https://arxiv.org/abs/1808.09782 ID - 1808.09782 ER -