Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras - Archive ouverte HAL
Article Dans Une Revue Proceedings of the London Mathematical Society Année : 2015

Quantifier elimination and rectilinearization theorem for generalized 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.

Dates et versions

hal-03263135 , version 1 (17-06-2021)

Identifiants

Citer

Jean-Philippe Rolin, Tamara Servi. Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras. Proceedings of the London Mathematical Society, 2015, 110 (5), pp.1207-1247. ⟨10.1112/plms/pdv010⟩. ⟨hal-03263135⟩
39 Consultations
0 Téléchargements

Altmetric

Partager

More