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 groupseffective model completenessLang propertyo-minimalitySchanuel conjecture

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) 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 generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• A Sequence of Polynomials for Approximating Arctangent
• 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)