The Field of Reals with Multisummable Series and the Exponential Function

DOI10.1112/S0024611500012648zbMath1062.03029OpenAlexW2119232867MaRDI QIDQ2766374

Patrick Speissegger, L. P. D. van den Dries

Publication date: 28 January 2002

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/s0024611500012648

zbMATH Keywords

exponential functionblowing-upo-minimal structuremodel completenessfield of real numbers with multisummable real power seriesGamma function on the positive real line

Mathematics Subject Classification ID

Real-analytic functions (26E05) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (45)

Sheaves on \(\mathcal T\)-topologies ⋮ O-minimal \(\Lambda ^{m}\)-regular stratification ⋮ Pseudo completions and completions in stages of o-minimal structures ⋮ On the Reeb spaces of definable maps ⋮ Tangent cones and \(C^{1}\) regularity of definable sets ⋮ Approximation of o-minimal maps satisfying a Lipschitz condition ⋮ Liouville closed \(H_T\)-fields ⋮ Generalized Euler characteristic in power-bounded T-convex valued fields ⋮ Taming the landscape of effective theories ⋮ Expansions of the Real Field by Canonical Products ⋮ Comparison theorems for o-minimal singular (co)homology ⋮ Valuation theory of exponential Hardy fields II: Principal parts of germs in the Hardy field of o-minimal exponential expansions of the reals ⋮ On smooth locally o-minimal functions ⋮ Basics of O-minimality and Hardy Fields ⋮ Construction of O-minimal Structures from Quasianalytic Classes ⋮ Course on Non-oscillatory Trajectories ⋮ Expansions of o-minimal structures by fast sequences ⋮ Singularities of o-minimal Peano derivatives ⋮ Smooth functions in o-minimal structures ⋮ The elementary theory of Dedekind cuts in polynomially bounded structures ⋮ Definability and nondefinability results for certain o-minimal structures ⋮ Vanishing homology ⋮ Quasianalytic Denjoy-Carleman classes and o-minimality ⋮ Inexact Half-Quadratic Optimization for Linear Inverse Problems ⋮ Definable smoothing of Lipschitz continuous functions ⋮ Model completeness of o-minimal structures expanded by Dedekind cuts ⋮ Avoiding the projective hierarchy in expansions of the real field by sequences ⋮ On the number of topological types occurring in a parameterized family of arrangements ⋮ o-minimal analytic separation of sets in dimension 2 ⋮ Expansions of o-minimal structures on the real field by trajectories of linear vector fields ⋮ An o-minimal structure which does not admit \(C^\infty\) cellular decomposition ⋮ Multivariable Newton-Puiseux theorem for generalised quasianalytic classes ⋮ John functions for o-minimal domains ⋮ Cell decomposition and dimension function in the theory of closed ordered differential fields ⋮ 2005 Annual Meeting of the Association for Symbolic Logic ⋮ Transition maps at non-resonant hyperbolic singularities are o-minimal ⋮ Peano differentiable extensions in o-minimal structures ⋮ Non-interlaced solutions of 2-dimensional systems of linear ordinary differential equations ⋮ Heirs of box types in polynomially bounded structures ⋮ Some nondefinability results with entire functions in a polynomially bounded o-minimal structure ⋮ Solitary trajectories of analytic vector fields ⋮ Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras ⋮ Quantifier elimination in quasianalytic structures via non-standard analysis ⋮ Differential equations over polynomially bounded o-minimal structures ⋮ Piecewise Weierstrass preparation and division for o-minimal holomorphic functions

This page was built for publication: The Field of Reals with Multisummable Series and the Exponential Function