Primitive rings are not definable in l∞∞
From MaRDI portal
Publication:4744416
DOI10.1080/00927878208822797zbMath0507.16008MaRDI QIDQ4744416
Publication date: 1982
Published in: Communications in Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00927878208822797
03C60: Model-theoretic algebra
16W60: Valuations, completions, formal power series and related constructions (associative rings and algebras)
16D60: Simple and semisimple modules, primitive rings and ideals in associative algebras