## On Whitney embedding of o-minimal manifolds

10 Apr 2019  ·  Bianconi Ricardo, Figueiredo Rodrigo, Figueiredo Robson A. ·

We prove a definable version of the Whitney embedding theorem for abstract-definable $\mathcal{C}^p$ manifolds with $1\leq p<\infty$, namely: every abstract-definable $\mathcal{C}^p$ manifold is abstract-definable $C^p$ embedded into $R^N$, for some positive integer $N$. As a consequence, we show that every abstract-definable $\mathcal{C}^p$ manifold has a compatible $\mathcal{C}^{p+1}$ atlas...

PDF Abstract

# Code Add Remove Mark official

No code implementations yet. Submit your code now

# Categories

Logic Differential Geometry