The set of restricted complex exponents for expansions of the reals

DOI10.1215/00294527-1715671MaRDI QIDQ435236zbMATH OpenOpenAlexFDO

Authors 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

definabilityo-minimalityexponents

Mathematics Subject Classification ID

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

Recommendations

• Expansions of o-minimal structures on the real field by trajectories of linear vector fields
• A dichotomy for expansions of the real field
• Expansions of the real field with power functions
• Undefinability results in o-minimal expansions of the real numbers
• The real field with convergent generalized power series

Cites work

• scientific article; zbMATH DE number 956481 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 2222021 (Why is no real title available?)
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• Definable sets in ordered structures
• Defining the set of integers in expansions of the real field by a closed discrete set
• Expansions of o-minimal structures on the real field by trajectories of linear vector fields
• Expansions of the real field with power functions
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
• On Schanuel's conjectures
• On the elementary theory of restricted elementary functions
• The Pfaffian closure of an o-minimal structure
• Undefinability results in o-minimal expansions of the real numbers
• Uniform model-completeness for the real field expanded by power functions

Cited in

(4)

• Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy
• Expansions of the Real Field by Canonical Products
• On complex exponentiation restricted to the integers
• Expansions of o-minimal structures on the real field by trajectories of linear vector fields

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

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