Quantifier elimination in quasianalytic structures via non-standard analysis

DOI10.4064/ap114-3-4zbMath1328.03033arXiv1405.2840OpenAlexW2963700838MaRDI QIDQ5262413

Krzysztof Jan Nowak

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

zbMATH Keywords

quantifier eliminationDenjoy-Carleman classesexchange propertyvaluation propertyactive infinitesimalsquasianalytic structuresrectilinearization of quasisubanalytic functionsspecial cubes and modifications

Mathematics Subject Classification ID

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)

Solutions of quasianalytic equations ⋮ On Intersections of Generic Perturbations of Definable Sets ⋮ Monomialization of a quasianalytic morphism ⋮ Power substitution in quasianalytic Carleman classes ⋮ Composite quasianalytic functions

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