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

DOI10.2307/2275634zbMath0899.03026OpenAlexW2142033065MaRDI 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 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)

Related Items

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

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