On equational theories of varieties of anticommutative rings
From MaRDI portal
Publication:1966192
DOI10.1007/BF02679816zbMath0942.08002MaRDI QIDQ1966192
Publication date: 16 August 2000
Published in: Mathematical Notes (Search for Journal in Brave)
identitiesdecidabilityvariety of associative ringsfinitely based subvarietynoncommutative subvariety
Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Applications of logic in associative algebras (16B70)
Cites Work