Quantifier elimination in quasianalytic structures via non-standard analysis
From MaRDI portal
Publication:5262413
Denjoy-Carleman classesexchange propertyquantifier eliminationvaluation propertyactive infinitesimalsquasianalytic structuresrectilinearization of quasisubanalytic functionsspecial cubes and modifications
(C^infty)-functions, quasi-analytic functions (26E10) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Quantifier elimination, model completeness, and related topics (03C10) Modifications; resolution of singularities (complex-analytic aspects) (32S45) Nonstandard models in mathematics (03H05)
Abstract: The paper is a continuation of our earlier article where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here. We also provide a quasianalytic exposition of the results concerning rectilinearization of terms and of definable functions from our earlier research. It will be used to demonstrate a quasianalytic structure corresponding to a Denjoy-Carleman class which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented merely by the reciprocal function. More precisely, we construct a plane definable curve, which indicates both that the classical theorem by J. Denef and L. van den Dries as well as L{}ojasiewicz's theorem that every subanalytic curve is semianalytic are no longer true for quasianalytic structures. Besides rectilinearization of terms, our construction makes use of some theorems on power substitution for Denjoy-Carleman classes and on non-extendability of quasianalytic function germs. The last result relies on Grothendieck's factorization and open mapping theorems for (LF)-spaces. Note finally that this paper comprises our earlier preprints on the subject from May 2012.
Recommendations
- Integrally Closed Domains with Only Finitely Many Star Operations
- Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
- Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras
- Quasi-analyticity, o-minimality and quantifier elimination.
- Quasianalytic Denjoy-Carleman classes and o-minimality
Cites work
- scientific article; zbMATH DE number 1022658 (Why is no real title available?)
- scientific article; zbMATH DE number 1021609 (Why is no real title available?)
- scientific article; zbMATH DE number 3432917 (Why is no real title available?)
- scientific article; zbMATH DE number 3408337 (Why is no real title available?)
- scientific article; zbMATH DE number 2220968 (Why is no real title available?)
- scientific article; zbMATH DE number 3035813 (Why is no real title available?)
- A proof of the valuation property and preparation theorem
- Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
- Decomposition into special cubes and its applications to quasi-subanalytic geometry
- Differentiable even functions
- Extension of ultradifferentiable functions
- On division of quasianalytic function germs
- On quasianalytic local rings
- On the singular locus of sets definable in a quasianalytic structure
- Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
- Quasianalytic Denjoy-Carleman classes and o-minimality
- Rectilinearization of functions definable by a Weierstrass system and its applications
- Resolution of singularities in Denjoy-Carleman classes
- Sur certaines classes de fonctions indéfiniment dérivables
- The field of reals with multisummable series and the exponential function.
- The implicit function theorem for ultradifferentiable mappings
Cited in
(9)- Monomialization of a quasianalytic morphism
- Solutions of quasianalytic equations
- Quasi-analyticity, o-minimality and quantifier elimination.
- On intersections of generic perturbations of definable sets
- Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras
- Composite quasianalytic functions
- Neocompact quantifier elimination in structures based on Banach spaces
- Power substitution in quasianalytic Carleman classes
- Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
This page was built for publication: Quantifier elimination in quasianalytic structures via non-standard analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262413)
