Quantifier elimination in quasianalytic structures via non-standard analysis
DOI10.4064/ap114-3-4zbMath1328.03033arXiv1405.2840OpenAlexW2963700838MaRDI QIDQ5262413
Publication date: 14 July 2015
Published in: Annales Polonici Mathematici (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1405.2840
quantifier eliminationDenjoy-Carleman classesexchange propertyvaluation propertyactive infinitesimalsquasianalytic structuresrectilinearization of quasisubanalytic functionsspecial cubes and modifications
Modifications; resolution of singularities (complex-analytic aspects) (32S45) (C^infty)-functions, quasi-analytic functions (26E10) Nonstandard models in mathematics (03H05) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (5)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The implicit function theorem for ultradifferentiable mappings
- Extension of ultradifferentiable functions
- Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
- Resolution of singularities in Denjoy-Carleman classes
- On quasianalytic local rings
- Differentiable even functions
- The Field of Reals with Multisummable Series and the Exponential Function
- On the singular locus of sets definable in a quasianalytic structure
- Rectilinearization of functions definable by a Weierstrass system and its applications
- Sur certaines classes de fonctions indéfiniment dérivables
- Decomposition into special cubes and its applications to quasi-subanalytic geometry
- Quasianalytic Denjoy-Carleman classes and o-minimality
- Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
- A proof of the valuation property and preparation theorem
- ON DIVISION OF QUASIANALYTIC FUNCTION GERMS
This page was built for publication: Quantifier elimination in quasianalytic structures via non-standard analysis