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.03026OpenAlexW2142033065MaRDI 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 functionmodel theory of the reals as an ordered field expanded by analytic functionsrestricted sine function
Model-theoretic algebra (03C60) Interpolation, preservation, definability (03C40) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (15)
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
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
