Model theory of exponentials on Lie algebras

DOI10.1017/S0960129508006622zbMath1138.03030MaRDI QIDQ5458065

Angus J. Macintyre

Publication date: 10 April 2008

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

zbMATH Keywords

matrix algebrasexponential functionsdecidabilityPfaffian functions

Mathematics Subject Classification ID

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

Related Items

Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\), ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS, Exponentiations over the quantum algebra \(U_q(\mathrm{sl}_2(\mathbb{C}))\)

Cites Work

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