23 citations · 112 across the 42 of their papers we have counts for
Showing 2017 · math.LOShow all
2 papers · 2 filters
math.LO2017
Undecidability of Equations in Free Lie Algebras
Olga Kharlampovich, Alexei Myasnikov
In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least three over an arbitrary field. We show that the ring of integers $\mathbb…
math.LO2017
Undecidability of the first order theories of free non-commutative Lie algebras
Olga Kharlampovich, Alexei Myasnikov
Let be a commutative integral unital domain and a free non-commutative Lie algebra over . In this paper we show that the ring and its action on are 0-interpretab…