On equational theories of varieties of anticommutative rings

DOI10.1007/BF02679816zbMath0942.08002MaRDI QIDQ1966192

V. Yu. Popov

Publication date: 16 August 2000

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

identitiesdecidabilityvariety of associative ringsfinitely based subvarietynoncommutative subvariety

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Applications of logic in associative algebras (16B70)

Cites Work

• ALGORITHMIC PROBLEMS IN VARIETIES
• Unnamed Item
• Unnamed Item
• Unnamed Item