UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS
UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS
Abstract Let R be a commutative integral unital domain and L a free noncommutative Lie algebra over R . In this article we show that the ring R and its action on L are 0-interpretable in L , viewed as a ring with the standard ring language $+ , \cdot …