On the elementary theory of restricted elementary functions
From MaRDI portal
Publication:3475258
DOI10.2307/2274572zbMath0698.03023OpenAlexW2144033225MaRDI QIDQ3475258
Publication date: 1988
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274572
Related Items
Expansions of the real field with power functions, Wilkie's conjecture for restricted elementary functions, Turing meets Schanuel, Global complexification of real analytic globally subanalytic functions, Integration of oscillatory and subanalytic functions, Integration of semialgebraic functions and integrated Nash functions, Pairs of Lie-type and large orbits of group actions on filtered modules: a characteristic-free approach to finite determinacy, Effective power series computations, On the elementary theory of restricted real and imaginary parts of holomorphic functions, The set of restricted complex exponents for expansions of the reals, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Model completeness results for elliptic and abelian functions, Basics of O-minimality and Hardy Fields, Wu's method and the Khovanskii finiteness theorem, EXPANSIONS OF ALGEBRAICALLY CLOSED FIELDS II: FUNCTIONS OF SEVERAL VARIABLES, Definability and nondefinability results for certain o-minimal structures, Expansions of o-minimal structures on the real field by trajectories of linear vector fields, A preparation theorem for Weierstrass systems, Model Completeness for the Real Field with the Weierstrass ℘ Function, Multivariate Puiseux Rings Induced by a Weierstrass System and Twisted Group Rings, SURREAL ORDERED EXPONENTIAL FIELDS, On the real exponential field with restricted analytic functions, Piecewise Weierstrass preparation and division for o-minimal holomorphic functions
Cites Work
