The set of restricted complex exponents for expansions of the reals

DOI10.1215/00294527-1715671zbMath1260.03074OpenAlexW2088724528MaRDI QIDQ435236

Michael A. Tychonievich

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

zbMATH Keywords

exponentsdefinabilityo-minimality

Mathematics Subject Classification ID

Linear ordinary differential equations and systems (34A30) Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Related Items (2)

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

This page was built for publication: The set of restricted complex exponents for expansions of the reals