Definable Tietze extension property in o-minimal expansion of ordered group
Abstract
The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous function $f:A \rightarrow M$ defined on a definable closed subset of $M^n$ has a definable continuous extension $F:M^n \rightarrow M$.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2020
- DOI:
- 10.48550/arXiv.2011.02922
- arXiv:
- arXiv:2011.02922
- Bibcode:
- 2020arXiv201102922F
- Keywords:
-
- Mathematics - Logic;
- 03C64
- E-Print:
- Included as an appendix of the updated arXiv:2010.02420