On the elementary theory of restricted elementary functions

DOI10.2307/2274572MaRDI QIDQ3475258zbMATH OpenOpenAlexFDO

Authors Lou van den Dries

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

zbMATH Keywords

definability theoryrestricted elementary functionsstrong model- completeness

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Recommendations

• Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
• The elementary theory of restricted analytic fields with exponentiation
• Non Standard Models of the Theory of Elementary Functions of a Real Variable
• On the elementary theory of restricted real and imaginary parts of holomorphic functions
• On the real exponential field with restricted analytic functions

Cites work

• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• scientific article; zbMATH DE number 3227305 (Why is no real title available?)
• Ultraproducts and approximation in local rings. II

Cited in

(30)

• Model completeness results for elliptic and abelian functions
• Wu's method and the Khovanskii finiteness theorem
• On the real exponential field with restricted analytic functions
• Expansions of the real field with power functions
• Integration of oscillatory and subanalytic functions
• Wilkie's conjecture for restricted elementary functions
• Effective power series computations
• Turing meets Schanuel
• Pairs of Lie-type and large orbits of group actions on filtered modules: a characteristic-free approach to finite determinacy
• Definability and nondefinability results for certain o-minimal structures
• 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
• Global complexification of real analytic globally subanalytic functions
• Integration of semialgebraic functions and integrated Nash functions
• Non Standard Models of the Theory of Elementary Functions of a Real Variable
• On the elementary theory of restricted real and imaginary parts of holomorphic functions
• The set of restricted complex exponents for expansions of the reals
• On elementary functions characterized by functional relationships
• Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
• EXPANSIONS OF ALGEBRAICALLY CLOSED FIELDS II: FUNCTIONS OF SEVERAL VARIABLES
• Basics of o-minimality and Hardy fields
• Surreal ordered exponential fields
• Model Completeness for the Real Field with the Weierstrass ℘ Function
• Piecewise Weierstrass preparation and division for o-minimal holomorphic functions
• A preparation theorem for Weierstrass systems
• Multivariate Puiseux rings induced by a Weierstrass system and twisted group rings
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Analytic nullstellensätze and the model theory of valued fields
• Periods, power series, and integrated algebraic numbers
• Exponential topological fields with a generic derivation

This page was built for publication: On the elementary theory of restricted elementary functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3475258)