Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras

Preprint English OPEN
Rolin , Jean-Philippe; Servi , Tamara;
  • Publisher: HAL CCSD
  • Subject: o-minimality | quasianalyticity | [ MATH.MATH-AG ] Mathematics [math]/Algebraic Geometry [math.AG] | rectilinearisation | quantifier elimination | 30D60, 14P15, 03C64 (primary), 32S45 (secondary)
    arxiv: Mathematics::Classical Analysis and ODEs | Mathematics::Complex Variables

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 quasiana... View more
Share - Bookmark