The real field with convergent generalized power series
From MaRDI portal
Publication:4211151
DOI10.1090/S0002-9947-98-02105-9zbMath0905.03022OpenAlexW1608107556MaRDI QIDQ4211151
Patrick Speissegger, L. P. D. van den Dries
Publication date: 10 September 1998
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0002-9947-98-02105-9
Related Items
Sheaves on \(\mathcal T\)-topologies ⋮ O-minimal \(\Lambda ^{m}\)-regular stratification ⋮ Log-Barrier Interior Point Methods Are Not Strongly Polynomial ⋮ On the Reeb spaces of definable maps ⋮ Tangent cones and \(C^{1}\) regularity of definable sets ⋮ Ilyashenko algebras based on transserial asymptotic expansions ⋮ The theorem of the complement for nested sub-Pfaffian sets ⋮ Solving generic nonarchimedean semidefinite programs using stochastic game algorithms ⋮ Siciak's extremal function of non-UPC cusps. I. ⋮ Approximation of o-minimal maps satisfying a Lipschitz condition ⋮ Global convergence of the gradient method for functions definable in o-minimal structures ⋮ Stratified reduction of singularities of generalized analytic functions ⋮ Hausdorff limits of Rolle leaves ⋮ Local monomialization of generalized analytic functions ⋮ Expansions of the Real Field by Canonical Products ⋮ Comparison theorems for o-minimal singular (co)homology ⋮ On smooth locally o-minimal functions ⋮ Basics of O-minimality and Hardy Fields ⋮ Construction of O-minimal Structures from Quasianalytic Classes ⋮ Unnamed Item ⋮ What Tropical Geometry Tells Us about the Complexity of Linear Programming ⋮ Tropical spectrahedra ⋮ Expansions of o-minimal structures by fast sequences ⋮ Singularities of o-minimal Peano derivatives ⋮ An o-minimal structure which does not admit \(\mathcal C^{\infty}\) cellular decomposition ⋮ Smooth functions in o-minimal structures ⋮ Equivariant differential topology in an o-minimal expansion of the field of real numbers ⋮ UPC condition in polynomially bounded o-minimal structures ⋮ 2001 Annual Meeting of the Association for Symbolic Logic ⋮ Quasianalytic Denjoy-Carleman classes and o-minimality ⋮ Inexact Half-Quadratic Optimization for Linear Inverse Problems ⋮ Tropical totally positive matrices ⋮ Definable smoothing of Lipschitz continuous functions ⋮ 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 ⋮ The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure ⋮ 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 ⋮ On gradients of functions definable in o-minimal structures ⋮ Maps on Ultrametric Spaces, Hensel's Lemma, and Differential Equations Over Valued Fields ⋮ Cell decomposition and dimension function in the theory of closed ordered differential fields ⋮ Transition maps at non-resonant hyperbolic singularities are o-minimal ⋮ Peano differentiable extensions in o-minimal structures ⋮ Definable Zero-Sum Stochastic Games ⋮ Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras ⋮ Remez-type inequality on sets with cusps ⋮ Differential equations over polynomially bounded o-minimal structures ⋮ Piecewise Weierstrass preparation and division for o-minimal holomorphic functions
