An explicit preparation theorem for definable functions in some polynomially bounded o-minimal structures
|
Thu, 24/02/2011 17:00 |
Jean-Philippe Rolin (Dijon) |
Logic Seminar |
L3 |
|
It is known that the expansion of the real field by some quasianalytic algebras of functions are o-minimal and polynomially bounded. We prove that, for these structures, the preparation theorem for definable functions proved by L. van den Dries and P. Speissegger has an explicit form, from which it is easy to deduce a quantifier elimination result. |
|||
