Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras

Jean-Philippe Rolin (1) , Tamara Servi (2)

1 IMB - Institut de Mathématiques de Bourgogne [Dijon]
2 CMAF - Centro de Matemática e Aplicações Fundamentais

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.

Mots clés: quasianalyticity; o-minimality; quantifier elimination; rectilinearisation

Domaines: Géométrie algébrique [math.AG]

Jean-Philippe Rolin, Tamara Servi. Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras. 2013. ⟨hal-00801438⟩