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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00801438
Contributor : Jean-Philippe Rolin <>
Submitted on : Saturday, March 16, 2013 - 9:41:05 AM
Last modification on : Friday, June 8, 2018 - 2:50:07 PM

File

qe4qaHyperSubmitJP.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00801438, version 1

Collections

Citation

Jean-Philippe Rolin, Tamara Servi. Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras. 2013. ⟨hal-00801438⟩

Share

Metrics

Record views

128

Files downloads

82