A generic condition implying o-minimality for restricted \(C^\infty\)-functions (Q2430112)

The following results are obtained. Theorem 1.1. The set of restricted strongly transcendental functions is residual in \(C^\infty([0, 1])\). Theorem 1.2. Let \(h\) be a restricted strongly transcendental function. Then an expansion \(\mathbb R_h\) is o-minimal, polynomially bounded and admits \(C^\infty\)-cell decomposition. The scheme of the proof of this theorem is merely an adaption of the method developed by Le Gal-Rollin (2008) to construct an o-minimal structure that does not admit \(C^\infty\)-cell decomposition, jointly with the main theorem by Rollin-Speissegger (2003), which asserts that o-minimality follows from quasi-analyticity. As a consequence, it is shown that there exists an o-minimal expansion \(\mathbb R_h\) of the real field such that \(\mathbb R_{h, \text{an}}\) is not o-minimal.