TY  - RPRT
TI  - Definable versions of theorems by Kirszbraun and Helly
AU  - Matthias Aschenbrenner
AU  - Andreas Fischer
PY  - 2010
DO  - 10.1112/plms/pdq029
UR  - https://arxiv.org/abs/0906.1168
ID  - 0906.1168
ER  -