A generic condition implying o-minimality for restricted \(C^\infty\)-functions (Q2430112): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2316248971 / rank | |||
Normal rank |
Revision as of 00:51, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A generic condition implying o-minimality for restricted \(C^\infty\)-functions |
scientific article |
Statements
A generic condition implying o-minimality for restricted \(C^\infty\)-functions (English)
0 references
5 April 2011
0 references
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.
0 references
\(C^{\infty}\) functions
0 references
restricted strongly transcendental functions
0 references
generically o-minimal structure
0 references
polynomially bounded set
0 references