On the decidability of equational theories of varieties of rings
From MaRDI portal
Publication:1280610
DOI10.1007/BF02312771zbMath0916.17001OpenAlexW2053320542MaRDI QIDQ1280610
Publication date: 11 April 1999
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02312771
critical theoryfinitely based varietyundecidable theoryequational theory of a varietynonassociative ring variety
Decidability of theories and sets of sentences (03B25) Nonassociative algebras satisfying other identities (17A30)
Cites Work
This page was built for publication: On the decidability of equational theories of varieties of rings