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

DOI10.1142/S0219498813500552zbMath1311.03066OpenAlexW2034765938WikidataQ115245676 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-minimalitySchanuel conjecturecompact Lie groupseffective model completenessLang property

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Lie groups (22E99) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

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

This page was built for publication: ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS