Given an o-minimal expansion ℳ of a real closed field R which is not polynomially bounded. Let denote the definable indefinitely Peano differentiable functions. If we further assume that ℳ admits cell decomposition, each definable closed subset A of Rⁿ is the zero-set of a function f:Rⁿ → R. This implies approximation of definable continuous functions and gluing of functions defined on closed definable sets.
We investigate several extension properties of Fréchet differentiable functions defined on closed sets for o-minimal expansions of real closed fields.
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...
Page 1