We demonstrate that the composite function theorems of Bierstone-Milman-Pawłucki and of Glaeser carry over to any polynomially bounded, o-minimal structure which admits smooth cell decomposition. Moreover, the assumptions of the o-minimal versions can be considerably relaxed compared with the classical analytic ones.
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-ap102-3-8,
author = {Krzysztof Jan Nowak},
title = {A note on Bierstone-Milman-Paw\l ucki's paper "Composite differentiable functions"},
journal = {Annales Polonici Mathematici},
volume = {101},
year = {2011},
pages = {293-299},
zbl = {1241.32005},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-ap102-3-8}
}
Krzysztof Jan Nowak. A note on Bierstone-Milman-Pawłucki's paper "Composite differentiable functions". Annales Polonici Mathematici, Tome 101 (2011) pp. 293-299. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-ap102-3-8/