Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
From MaRDI portal
Publication:4382467
DOI10.2307/2275634zbMath0899.03026MaRDI QIDQ4382467
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
exponential function; model theory of the reals as an ordered field expanded by analytic functions; restricted sine function
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