Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras
Algebraic Geometry
2017-05-17 v2
Abstract
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.
Cite
@article{arxiv.1303.3724,
title = {Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras},
author = {Jean-Philippe Rolin and Tamara Servi},
journal= {arXiv preprint arXiv:1303.3724},
year = {2017}
}