Myasnikov, Alexei G.; Sohrabi, Mahmood Complete first-order theories of some classical matrix groups over algebraic integers. (English) Zbl 07354482 J. Algebra 582, 206-231 (2021). MSC: 03C60 20F16 PDFBibTeX XMLCite \textit{A. G. Myasnikov} and \textit{M. Sohrabi}, J. Algebra 582, 206--231 (2021; Zbl 07354482) Full Text: DOI
McKenzie, Ralph; Taylor, Walter Interpretations of module varieties. (English) Zbl 0729.08005 J. Algebra 135, No. 2, 456-493 (1990). Reviewer: L.M.Martynov (Omsk) MSC: 08B15 PDFBibTeX XMLCite \textit{R. McKenzie} and \textit{W. Taylor}, J. Algebra 135, No. 2, 456--493 (1990; Zbl 0729.08005) Full Text: DOI