Definable Tietze extension property in o-minimal expansion of ordered group [article]

Masato Fujita
2021 arXiv   pre-print
The following two assertions are equivalent for an o-minimal expansion of an ordered group ℳ=(M,<,+,0,...). There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous function f:A → M defined on a definable closed subset of M^n has a definable continuous extension F:M^n → M.
arXiv:2011.02922v2 fatcat:bcrbttoa2zczlip5s7fgajhlqu