1 paper · 1 filter
Igor Klep, Marcus Tressl
In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings Mn(K) in the language of rings expanded by two unary functions, naming the t…