Expansions of real closed fields which introduce no new smooth functions

Pantelis E. Eleftheriou, Alex Savatovsky

We prove the following theorem: let $\tilde{\mathcal{R}}$ be an expansion of the real field $\overline{\mathbb{R}}$, such that every definable set (I) is a uniform countable unio…