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/