TY  - RPRT
TI  - Definable Tietze extension property in o-minimal expansion of ordered group
AU  - Masato Fujita
PY  - 2021
DO  - 10.1007/s00153-023-00875-5
UR  - https://arxiv.org/abs/2011.02922
ID  - 2011.02922
ER  -