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

DOI10.1142/S0219498813500552MaRDI QIDQ2847702zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

• A Sequence of Polynomials for Approximating Arctangent
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• Exponential diophantine equations
• Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\)
• Groups, measures, and the NIP
• Lie groups. An introduction through linear groups
• Linear equations in variables which lie in a multiplicative group
• Matrix Analysis
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Model theory of exponentials on Lie algebras
• Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
• On groups and fields definable in o-minimal structures
• The model theory of the field of reals with a subgroup of the unit circle

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)