ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS

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

zbMATH Keywords

o-minimality; Schanuel conjecture; compact Lie groups; effective model completeness; Lang property

Mathematics Subject Classification ID

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