O-minimal version of Whitney's extension theorem
This is a generalized and improved version of our earlier article [Studia Math. 124 (1997)] on the Whitney extension theorem for subanalytic $\mathcal C^p$-Whitney fields (with $p$ finite). In this new version we consider Whitney fields definable in an arbitrary o-minimal structure on any real closed field $R$ and obtain an extension which is a $\mathcal C^p$-function definable in the same o-minimal structure. The Whitney fields that we consider are defined on any locally closed definable subset of $R^n$. In such a way, a local version of the theorem is included.