Mild parametrizations of power-subanalytic sets
Abstract
We obtain two uniform parametrization theorems for families of bounded sets definable in $\mathbb R_{an}^{\mathbb R}$. Let $X = \{X_t \subset (0,1)^n \mid t \in T\}$ be a definable family of sets $X_t$ of dimension at most $m$. Firstly, $X_t$ admits a $C^r$-parametrization consisting of $cr^m$ maps for some positive constant $c = c(X)$, which is uniform in $t$. Secondly, $X_t$ admits a $C$-mild parametrization for any $C>1$, which is also uniform in $t$.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2021
- DOI:
- 10.48550/arXiv.2105.04918
- arXiv:
- arXiv:2105.04918
- Bibcode:
- 2021arXiv210504918V
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Number Theory;
- 03C98;
- 14P15 (Primary);
- 11D99 (Secondary)
- E-Print:
- Annals of Pure and Applied Logic, Volume 173, Issue 6, 2022