23 citations · 112 across the 42 of their papers we have counts for
1 paper · 2 filters
Olga Kharlampovich, Alexei Myasnikov
In this paper we study fundamental model-theoretic questions for free associative algebras, namely, first-order classification, decidability of the first-order theory, and definabi…