Smooth parameterizations of power-subanalytic sets and compositions of Gevrey functions

Siegfried Van Hille

We show that if $X$ is an $m$-dimensional definable set in ${\mathbb{R}}_{\text{an}}^{\text{pow}}$, the structure of real subanalytic sets with real power maps added, then for any positi…