Quantifier elimination in quasianalytic structures via non-standard analysis

DOI10.4064/AP114-3-4zbMATH Open1328.03033arXiv1405.2840OpenAlexW2963700838MaRDI QIDQ5262413FDOQ5262413

Authors: Krzysztof Jan Nowak 

Publication date: 14 July 2015

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

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.

Full work available at URL: https://arxiv.org/abs/1405.2840

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

zbMATH Keywords

Denjoy-Carleman classesexchange propertyquantifier eliminationvaluation propertyactive infinitesimalsquasianalytic structuresrectilinearization of quasisubanalytic functionsspecial cubes and modifications

Mathematics Subject Classification ID

(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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The implicit function theorem for ultradifferentiable mappings
• Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
• Resolution of singularities in Denjoy-Carleman classes
• The field of reals with multisummable series and the exponential function.
• Title not available (Why is that?)
• On quasianalytic local rings
• Quasianalytic Denjoy-Carleman classes and o-minimality
• Differentiable even functions
• Title not available (Why is that?)
• Sur certaines classes de fonctions indéfiniment dérivables
• Extension of ultradifferentiable functions
• A proof of the valuation property and preparation theorem
• ON DIVISION OF QUASIANALYTIC FUNCTION GERMS
• On the singular locus of sets definable in a quasianalytic structure
• Decomposition into special cubes and its applications to quasi-subanalytic geometry
• Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
• Rectilinearization of functions definable by a Weierstrass system and its applications
• Title not available (Why is that?)

Cited In (8)

• Solutions of quasianalytic equations
• Quasi-analyticity, o-minimality and quantifier elimination.
• On Intersections of Generic Perturbations of Definable Sets
• 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
• Monomialization of a quasianalytic morphism

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)