Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras
Résumé
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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...