ON UNSOLVABLE Q-THEORIES OF VARIETIES OF RINGS

摘要

We prove that there are infinitely many finitely based varieties of associative rings containing a proper variety M of associative rings with unsolvable Q-theories and thereby give an affirmative answer to Mal'tsev's question in Kourovka Notebook about the existence of such varieties.