Prefer a chat interface with context about you and your work?
Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
This paper investigates the geometry of the expansion ${\cal R}_{Q}$ of the real field $\mathbb R$ by restricted quasianalytic functions. The main purpose is to establish quantifier elimination, description of definable functions by terms, the valuation p