Zero-set property of o-minimal indefinitely Peano differentiable functions
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.