@misc{indiciae5ac7e18f1f82, title = {Definable Tietze extension property in o-minimal expansion of ordered group}, author = {Masato Fujita}, year = {2021}, doi = {10.1007/s00153-023-00875-5}, url = {https://arxiv.org/abs/2011.02922}, note = {Source identifier: 2011.02922} }