On the elementary theory of restricted elementary functions

DOI10.2307/2274572zbMATH Open0698.03023OpenAlexW2144033225MaRDI QIDQ3475258FDOQ3475258

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

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

zbMATH Keywords

definability theoryrestricted elementary functionsstrong model- completeness

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Cites Work

• Title not available (Why is that?)
• Ultraproducts and approximation in local rings. II
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results

Cited In (28)

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

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)