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

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