ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS
From MaRDI portal
Publication:2847702
DOI10.1142/S0219498813500552zbMath1311.03066WikidataQ115245676 ScholiaQ115245676MaRDI QIDQ2847702
Sonia L'Innocente, Carlo Toffalori, Françoise Point
Publication date: 11 September 2013
Published in: Journal of Algebra and Its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0219498813500552
03C60: Model-theoretic algebra
03B25: Decidability of theories and sets of sentences
22E99: Lie groups
03C64: Model theory of ordered structures; o-minimality
03C10: Quantifier elimination, model completeness, and related topics
Cites Work
- Unnamed Item
- Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\)
- On groups and fields definable in o-minimal structures
- Linear equations in variables which lie in a multiplicative group
- The model theory of the field of reals with a subgroup of the unit circle
- Matrix Analysis
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
- A Sequence of Polynomials for Approximating Arctangent
- Groups, measures, and the NIP
- Model theory of exponentials on Lie algebras
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Exponential diophantine equations