Expansions of real closed fields which introduce no new smooth functions

25 Dec 2018 Eleftheriou Pantelis E. Savatovsky Alex

We prove the following theorem: let $\widetilde{\mathcal R}$ be an expansion of the real field $\overline{\mathbb R}$, such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a "semialgebraic chunk". Then every definable smooth function $f:X\subseteq \mathbb R^n\to \mathbb R$ with open semialgebraic domain is semialgebraic... (read more)

PDF Abstract
No code implementations yet. Submit your code now