Warfield rings
DOI10.1007/BF00739413zbMath0838.16001MaRDI QIDQ1892816
Publication date: 26 June 1995
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187686
direct sums; direct summands; Noetherian rings; serial rings; elimination of quantifiers; finitely presented modules; finitely presented right modules; positive primitive formulas; cyclic finitely presented modules; left perfect local \(W1\)-rings; local \(W1\)-rings; right \(W1\)-rings
03C60: Model-theoretic algebra
16S15: Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting)
16D70: Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras)
16L30: Noncommutative local and semilocal rings, perfect rings
16B70: Applications of logic in associative algebras
Cites Work