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

DOI10.2307/2275634MaRDI QIDQ4382467zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

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

Cited in

(18)

• On some representations of the real number field
• On the elementary theory of restricted elementary functions
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• Definability and nondefinability results for certain o-minimal structures
• The set of restricted complex exponents for expansions of the reals
• Global complexification of real analytic globally subanalytic functions
• Local interdefinability of Weierstrass elliptic functions
• A preparation theorem for Weierstrass systems
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• Definability in o-minimal expansions of the real numbers
• Model theory of exponentials on Lie algebras
• Basics of o-minimality and Hardy fields
• 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

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)