Model theory of exponentials on Lie algebras

DOI10.1017/S0960129508006622zbMATH Open1138.03030MaRDI QIDQ5458065FDOQ5458065

Angus Macintyre

Publication date: 10 April 2008

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

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
• 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

zbMATH Keywords

decidabilitymatrix algebrasexponential functionsPfaffian functions

Mathematics Subject Classification ID

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

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 (4)

• 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
• Title not available (Why is that?)

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)