$RD$-formulas and $W$-rings
Matematičeskie zametki, Tome 53 (1993) no. 1, pp. 95-103
Citer cet article
Voir la notice de l'article provenant de la source Math-Net.Ru
We study rings over which any finitely presented module is a direct summand of a direct sum of cyclic cyclically presented modules (Warfield rings). We characterize these rings in matrix terms. We clarify a number of properties of Warfield rings including their complete characterization in some special cases. We prove the presence of special (deeper than $pp$) elimination of quantifiers in module theory over these rings.