Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras

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.

Cited by in corpus (1)

• On local definability of holomorphic functions