Abstract:
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 pppp) elimination of quantifiers in module theory over these rings.