Expansions of the real field with power functions
From MaRDI portal
Publication:1326770
DOI10.1016/0168-0072(94)90048-5zbMath0823.03018MaRDI 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
03C60: Model-theoretic algebra
12L12: Model theory of fields
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Quasianalytic Denjoy-Carleman classes and o-minimality, T-convexity and tame extensions, Basics of O-minimality and Hardy Fields, Course on Non-oscillatory Trajectories, Infinite Differentiability in Polynomially Bounded O-Minimal Structures, A Superlinearly Convergent Smoothing Newton Continuation Algorithm for Variational Inequalities over Definable Sets, Definability results for the Poisson equation, A preparation theorem for Weierstrass systems, Expansions of o-minimal structures by fast sequences, The set of restricted complex exponents for expansions of the reals, Equivariant differential topology in an o-minimal expansion of the field of real numbers, First order tameness of measures, Impossibility of extending Pólya's theorem to ``forms with arbitrary real exponents, o-minimal analytic separation of sets in dimension 2, 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, An extension of Hölder's theorem on the Gamma function, Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions), Finiteness property for generalized abelian integrals., \(K\)-subanalytic rectilinearization and uniformization, Real spectrum of ring of definable functions, Undefinability results in o-minimal expansions of the real numbers, Extending Tamm's theorem, Geometric categories and o-minimal structures, Extension of the two-variable Pierce-Birkhoff conjecture to generalized polynomials, Definable functions continuous on curves in o-minimal structures, Model completeness in o-minimal polynomially bounded structures, Conformal mapping of o-minimal corners, Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation, Uniform model-completeness for the real field expanded by power functions, Expansions of o-minimal structures on the real field by trajectories of linear vector fields, On the decidability of the real field with a generic power function, Differential equations over polynomially bounded o-minimal structures, Complex continuations of ℝan,exp-definable unary functions with a diophantine application, Avoiding the projective hierarchy in expansions of the real field by sequences, Peano differentiable extensions in o-minimal structures, Singularities of o-minimal Peano derivatives
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(p\)-adic and real subanalytic sets
- Semianalytic and subanalytic sets
- Subanalytic sets in the calculus of variation
- Model completeness results for elliptic and abelian functions
- On the real exponential field with restricted analytic functions
- The elementary theory of restricted analytic fields with exponentiation
- On the elementary theory of restricted elementary functions
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Definable Sets in Ordered Structures. I
- Definable Sets in Ordered Structures. II
- Exponentiation is Hard to Avoid
- T-convexity and tame extensions
- Infinite Differentiability in Polynomially Bounded O-Minimal Structures
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function