Erratum to "Fields of surreal numbers and exponentiation" (Fund. Math. 167 (2001), 173-188)
We study the extensibility of piecewise polynomial functions defined on closed subsets of to all of . The compact subsets of on which every piecewise polynomial function is extensible to can be characterized in terms of local quasi-convexity if they are definable in an o-minimal expansion of . Even the noncompact closed definable subsets can be characterized if semialgebraic function germs at infinity are dense in the Hardy field of definable germs. We also present a piecewise polynomial...
We extend a result of M. Tamm as follows:Let , be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions . Then there exists such that for all , if is in a neighborhood of , then is real analytic in a neighborhood of .