Search results for "03C64"
showing 3 items of 3 documents
Inégalité de Lojasiewicz en géométrie pfaffienne
2000
We give a Lojasiewicz inequality for the $o$-minimal structure generate by Rolle leaves over the globally subanalytic sets. We obtain uniform estimates in the iterated exponentials scale.
Multisummability for generalized power series
2022
We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands both $\mathbb{R}_{\mathcal{G}}$ and the reduct of $\mathbb{R}_{\mathrm{an}^*}$ generated by all convergent generalized power series with natural support; in particular, its expansion by the exponential function defines both the Gamma function on $(0,\infty)$ and the Zeta function on $(1,\infty)$.
Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras
2013
International audience; An algebra of germs of real functions is generalised quasianalytic if to each element of the algebra we can associate, injectively, a power series with nonnegative real exponents. We prove a quantifier elimination and a rectilinearisation result for generalised quasianalytic algebras.