Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function

DOI10.2307/2275634zbMATH Open0899.03026OpenAlexW2142033065MaRDI QIDQ4382467FDOQ4382467

Ricardo Bianconi

Publication date: 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275634

zbMATH Keywords

exponential functionmodel theory of the reals as an ordered field expanded by analytic functionsrestricted sine function

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Interpolation, preservation, definability (03C40) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• On the real exponential field with restricted analytic functions
• On Schanuel's conjectures
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• Schanuel's conjecture and free exponential rings

Cited In (15)

• Definability and nondefinability results for certain o-minimal structures
• The set of restricted complex exponents for expansions of the reals
• Basics of O-minimality and Hardy Fields
• Global complexification of real analytic globally subanalytic functions
• A preparation theorem for Weierstrass systems
• Definability in o-minimal expansions of the real numbers
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• Model theory of exponentials on Lie algebras
• LOCAL INTERDEFINABILITY OF WEIERSTRASS ELLIPTIC FUNCTIONS
• Undefinability results in o-minimal expansions of the real numbers
• On the model theory of the logarithmic function in compact Lie groups
• Defining additive subgroups of the reals from convex subsets
• \(R\)-analytic functions
• Expansions of o-minimal structures on the real field by trajectories of linear vector fields
• Turing meets Schanuel

   Recommendations

• On the elementary theory of restricted elementary functions 👍 👎
• Undefinability results in o-minimal expansions of the real numbers 👍 👎
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results 👍 👎
• Exponentiation is Hard to Avoid 👍 👎
• Some nondefinability results with entire functions in a polynomially bounded o-minimal structure 👍 👎

This page was built for publication: Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function

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