On some algorithmic problems related to varieties of nonassociative rings

zbMath0987.17001MaRDI QIDQ1597968

V. Yu. Popov

Publication date: 28 May 2002

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

decidable theory; finitely based variety; equational theory; variety of rings; undecidable theory

Mathematics Subject Classification ID

08B15: Lattices of varieties

03B25: Decidability of theories and sets of sentences

17A30: Nonassociative algebras satisfying other identities