Critical theories of supervarieties of the variety of commutative associative rings
From MaRDI portal
Publication:1920871
DOI10.1007/BF02106842zbMath0857.17004MaRDI QIDQ1920871
Publication date: 11 March 1997
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
alternative rings; variety of rings; Jordan rings; undecidable word problem; critical theories; finite alternative rings; SA-hierarchy of first order languages
03B25: Decidability of theories and sets of sentences
17D05: Alternative rings
17C99: Jordan algebras (algebras, triples and pairs)
17A30: Nonassociative algebras satisfying other identities
Related Items
Cites Work