Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings

DOI10.4064/ap96-3-5zbMath1174.14052OpenAlexW2079526260MaRDI QIDQ5193053

Krzysztof Jan Nowak

Publication date: 10 August 2009

Published in: Annales Polonici Mathematici (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/ap96-3-5

zbMATH Keywords

quantifier eliminationquasianalytic functionsvaluation propertypreparation theoremspecial cubesactive and non-active infinitesimalsanalytically independent infinitesimalsspecial modifications

Mathematics Subject Classification ID

Real-analytic and semi-analytic sets (14P15) Modifications; resolution of singularities (complex-analytic aspects) (32S45) (C^infty)-functions, quasi-analytic functions (26E10) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (3)

On Intersections of Generic Perturbations of Definable Sets ⋮ ON DIVISION OF QUASIANALYTIC FUNCTION GERMS ⋮ Quantifier elimination in quasianalytic structures via non-standard analysis

This page was built for publication: Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings