Powers are easy to avoid

Gareth Jones, Olivier Le Gal

Suppose that $\tilde{\mathbb{R}}$ is an o-minimal expansion of the real field in which restricted power functions are definable. We show that if $\hat{\mathbb{R}}$ is both a…