Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions)

DOI10.5802/aif.1583zbMath0873.32004OpenAlexW2073539595MaRDI QIDQ1360858

Jean-Marie Lion, Jean-Philippe Rolin

Publication date: 22 July 1997

Published in: Annales de l'Institut Fourier (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=AIF_1997__47_3_859_0

zbMATH Keywords

quantifier eliminationlogarithmexponentialsemi-analytic setssub-analytic setspreparation theorem

Mathematics Subject Classification ID

Real-analytic and semi-analytic sets (14P15) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Analytic algebras and generalizations, preparation theorems (32B05)

Related Items

On the role of abnormal minimizers in sub-Riemannian geometry, Méthodes géométriques et analytiques pour étudier l'application exponentielle, la sphère et le front d'onde en géométrie sous-riemannienne dans le cas Martinet, Global complexification of real analytic globally subanalytic functions, Triangulations of monotone families I: two-dimensional families, Integration of oscillatory and subanalytic functions, Integration of semialgebraic functions and integrated Nash functions, Finiteness property for generalized abelian integrals., Restricted log-exp-analytic power functions, Tameness in geometry and arithmetic: beyond o-minimality, Stability under integration of sums of products of real globally subanalytic functions and their logarithms, Growth of log-analytic functions, On preparation theorems for R_{an, exp}-definable functions, On the structure of \(p\)-adic subanalytic functions and sets, Simultaneous bifurcation of limit cycles from a cubic piecewise center with two period annuli, \(K\)-subanalytic rectilinearization and uniformization, \(L^{\infty}\) cohomology is intersection cohomology, Équisingularité réelle : nombres de Lelong et images polaires, An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp, Impossibility of extending Pólya's theorem to ``forms with arbitrary real exponents, Integral regulators for higher Chow complexes, Sub-Riemannian sphere in Martinet flat case, A bilipschitz version of Hardt's theorem, Vanishing homology, Quasianalytic Denjoy-Carleman classes and o-minimality, Approximations in globally subanalytic and Denjoy-Carleman classes, Inclusion dynamics hybrid automata, Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function, A generalized Sard theorem on real closed fields, Multivariable Newton-Puiseux theorem for generalised quasianalytic classes, Intégration des fonctions sous-analytiques et volumes des sous-ensembles sous-analytiques. (Integration of subanalytic functions and volumes of subanalytic subspaces), On gradients of functions definable in o-minimal structures, A preparation theorem for Weierstrass systems, Complex cellular structures, Differentiability properties of log-analytic functions, Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras, Generalised power series solutions of sub-analytic differential equations, Restricted log-exp-analytic functions and some differentiability results, Tame semiflows for piecewise linear vector fields

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(p\)-adic and real subanalytic sets
• Expansions of the real field with power functions
• The elementary theory of restricted analytic fields with exponentiation
• Complements of subanalytic sets and existential formulas for analytic functions
• Lipschitz stratification of subanalytic sets