6533b86dfe1ef96bd12caac7

RESEARCH PRODUCT

Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras

J.-p. RolinT. Servi

subject

Pure mathematics30D60 14P15 03C64 (primary) 32S45 (secondary)Mathematics::Complex VariablesGeneral Mathematics[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG]Mathematics::Classical Analysis and ODEso-minimality16. Peace & justice[ MATH.MATH-AG ] Mathematics [math]/Algebraic Geometry [math.AG]Mathematics - Algebraic Geometryquantifier eliminationQuantifier eliminationquasianalyticityFOS: Mathematics[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG][MATH]Mathematics [math]rectilinearisationAlgebraic Geometry (math.AG)Mathematics

description

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.

yearjournalcountryeditionlanguage
2013-03-16
https://dx.doi.org/10.48550/arxiv.1303.3724