Article contents
Model theory of exponentials on Lie algebras
Published online by Cambridge University Press: 01 February 2008
Abstract
This paper presents an analysis of definitions and decidability for exponential functions on various matrix algebras. The main idea is to show that, generically, the entries of the exponential (or logarithm) of a matrix are Pfaffian functions of the entries of the matrix.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 18 , Special Issue 1: in memory of Sauro Tulipani , February 2008 , pp. 189 - 204
- Copyright
- Copyright © Cambridge University Press2008
References
- 3
- Cited by