1. Prime ideals in PI-rings;Amitsur;J. Algebra,1980
2. The logical complexity of finitely generated commutative rings;Aschenbrenner;Int. Math. Res. Not. IMRN,2018
3. First order rigidity of non-uniform higher rank arithmetic groups;Avni;Invent. Math.,2019
4. The nilpotency of the radical in a finitely generated PI-ring;Braun;J. Algebra,1984
5. Computational Aspects of Polynomial Identities Volume I Kemer's Theorems;Kanel-Belov,2016