Abstract
AbstractWe 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 positive integer $r$ there exists a $C^{r}$-parameterization of $X$ consisting of $cr^{m^{3}}$ maps for some constant $c$. Moreover, these maps are real analytic and this bound is uniform for a definable family.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have