The set of restricted complex exponents for expansions of the reals
From MaRDI portal
Publication:435236
DOI10.1215/00294527-1715671zbMath1260.03074MaRDI QIDQ435236
Publication date: 11 July 2012
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1336588248
34A30: Linear ordinary differential equations and systems
03C40: Interpolation, preservation, definability
03C64: Model theory of ordered structures; o-minimality
12L12: Model theory of fields
Related Items
Expansions of the Real Field by Canonical Products, Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Expansions of the real field with power functions
- Undefinability results in o-minimal expansions of the real numbers
- On Schanuel's conjectures
- 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
- Definable sets in ordered structures
- On the elementary theory of restricted elementary functions
- Defining the set of integers in expansions of the real field by a closed discrete set
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- The Pfaffian closure of an o-minimal structure
- Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
