Model theory of exponentials on Lie algebras

DOI10.1017/S0960129508006622MaRDI QIDQ5458065zbMATH OpenFDO

Authors Angus Macintyre

Publication date 10 April 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

decidabilitymatrix algebrasexponential functionsPfaffian functions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)

Recommendations

• scientific article; zbMATH DE number 4041889
• scientific article; zbMATH DE number 1824071
• On the model theory of the logarithmic function in compact Lie groups
• scientific article; zbMATH DE number 2156367
• scientific article; zbMATH DE number 609853
• scientific article; zbMATH DE number 4217876
• Lectures on the model theory of real and complex exponentiation
• scientific article; zbMATH DE number 4059374
• Theory of Extensions of Multiplicative Lie Algebras
• scientific article; zbMATH DE number 849962

Cites work

• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
• Periods of 1-motives and transcendence.
• Pseudo-exponentiation on algebraically closed fields of characteristic zero

Cited in

(5)

• The Lindemann theorem for matrices
• Exponentiations over the quantum algebra \(U_q(\mathrm{sl}_2(\mathbb{C}))\)
• Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\)
• On the model theory of the logarithmic function in compact Lie groups
• scientific article; zbMATH DE number 4217876 (Why is no real title available?)

This page was built for publication: Model theory of exponentials on Lie algebras

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