Expansions of the real field with power functions

DOI10.1016/0168-0072(94)90048-5zbMath0823.03018OpenAlexW1979569145MaRDI QIDQ1326770

Publication date: 31 October 1995

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)90048-5

zbMATH Keywords

axiomatizability power functions real-analytic functions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (48)

Extending Tamm's theorem ⋮ Conformal mapping of o-minimal corners ⋮ An extension of Hölder's theorem on the Gamma function ⋮ Complex continuations of ℝ_an,exp-definable unary functions with a diophantine application ⋮ Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions) ⋮ Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation ⋮ T-convexity and tame extensions ⋮ Geometric categories and o-minimal structures ⋮ Closure and connected component of a planar global semianalytic set defined by analytic functions definable in o-minimal structure ⋮ Regular projections and regular covers in o-minimal structures ⋮ Global convergence of the gradient method for functions definable in o-minimal structures ⋮ Finiteness property for generalized abelian integrals. ⋮ Restricted log-exp-analytic power functions ⋮ The set of restricted complex exponents for expansions of the reals ⋮ \(K\)-subanalytic rectilinearization and uniformization ⋮ Extension of the two-variable Pierce-Birkhoff conjecture to generalized polynomials ⋮ Basics on Lipschitz geometry ⋮ Hölder-Łojasiewicz inequalities for volumes of tame objects ⋮ Basics of O-minimality and Hardy Fields ⋮ Course on Non-oscillatory Trajectories ⋮ Diophantine approximations on definable sets ⋮ Impossibility of extending Pólya's theorem to ``forms with arbitrary real exponents ⋮ Expansions of o-minimal structures by fast sequences ⋮ Model completeness in o-minimal polynomially bounded structures ⋮ Singularities of o-minimal Peano derivatives ⋮ Infinite Differentiability in Polynomially Bounded O-Minimal Structures ⋮ Equivariant differential topology in an o-minimal expansion of the field of real numbers ⋮ Real spectrum of ring of definable functions ⋮ First order tameness of measures ⋮ Undefinability results in o-minimal expansions of the real numbers ⋮ Definability results for the Poisson equation ⋮ Quasianalytic Denjoy-Carleman classes and o-minimality ⋮ Inexact Half-Quadratic Optimization for Linear Inverse Problems ⋮ Approximations in globally subanalytic and Denjoy-Carleman classes ⋮ Uniform model-completeness for the real field expanded by power functions ⋮ Avoiding the projective hierarchy in expansions of the real field by sequences ⋮ o-minimal analytic separation of sets in dimension 2 ⋮ Expansions of o-minimal structures on the real field by trajectories of linear vector fields ⋮ Tempered distributions and Schwartz functions on definable manifolds ⋮ 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 ⋮ Peano differentiable extensions in o-minimal structures ⋮ On the decidability of the real field with a generic power function ⋮ A Superlinearly Convergent Smoothing Newton Continuation Algorithm for Variational Inequalities over Definable Sets ⋮ Definable functions continuous on curves in o-minimal structures ⋮ Bounding the length of gradient trajectories ⋮ Differential equations over polynomially bounded o-minimal structures

Cites Work

This page was built for publication: Expansions of the real field with power functions