Published online by Cambridge University Press: 09 April 2009
Extension theorems are proved for smooth functions on a coherent real analytic space for which local defining functions exist which are finitely determined in the sense of J. Mather, (1968), and for smooth functions invariant under the action of a compact lie group G. thus providing the main step in the proof that smooth infinitesimal stability implies smooth stability in the appropriate categories. In addition the remaining step for the category of CxG-manifolds of finite orbit type is filled in.