On the decidability of equational theories of varieties of rings
From MaRDI portal
Publication:1280610
DOI10.1007/BF02312771zbMath0916.17001MaRDI QIDQ1280610
Publication date: 11 April 1999
Published in: Mathematical Notes (Search for Journal in Brave)
critical theory; finitely based variety; undecidable theory; equational theory of a variety; nonassociative ring variety
03B25: Decidability of theories and sets of sentences
17A30: Nonassociative algebras satisfying other identities
Cites Work