First-order rigidity of rings satisfying polynomial identities (Q2131282)

One of the most fundamental questions in model theory is to what extent the first-order theory of a given model determines its isomorphism class. A finitely generated algebraic structure is said to be \textit{ first-order rigid} if its elementary theory determines its isomorphism class among finitely generated models. The author proves that every finitely generated Noetherian ring which satisfies a polynomial identity is first-order rigid. This generalizes a result of \textit{M. Aschenbrenner} et al. on commutative rings [Int. Math. Res. Not. 2020, No. 1, 112--166 (2020; Zbl 1476.03047)]. Some open questions are discussed.