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 $pp$) elimination of quantifiers in module theory over these rings.