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

DOI10.2307/2275634zbMath0899.03026MaRDI QIDQ4382467

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 function; model theory of the reals as an ordered field expanded by analytic functions; restricted sine function

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03C40: Interpolation, preservation, definability

12L12: Model theory of fields

03C10: Quantifier elimination, model completeness, and related topics

Related Items

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

Cites Work

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