On the model theory of the logarithmic function in compact Lie groups

DOI10.1142/S0219498813500552zbMATH Open1311.03066OpenAlexW2034765938WikidataQ115245676 ScholiaQ115245676MaRDI QIDQ2847702FDOQ2847702

Authors: Sonia L'Innocente, Françoise Point, Carlo Toffalori 

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

Recommendations

• Model theory of exponentials on Lie algebras
• Compact domination for groups definable in linear o-minimal structures
• Definable groups and compact p -adic Lie groups
• Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank
• Definability in the group of infinitesimals of a compact Lie group

zbMATH Keywords

compact Lie groupso-minimalitySchanuel conjectureeffective model completenessLang property

Mathematics Subject Classification ID

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

Cites Work

• Matrix Analysis
• Lie groups. An introduction through linear groups
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Exponential diophantine equations
• On groups and fields definable in o-minimal structures
• 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
• Groups, measures, and the NIP
• 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
• Model theory of exponentials on Lie algebras
• Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\)
• A Sequence of Polynomials for Approximating Arctangent

Cited In (1)

• Model theory of exponentials on Lie algebras

This page was built for publication: On the model theory of the logarithmic function in compact Lie groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847702)