Nonassociative rings with a single defining relation whose elementary theories are decidable

DOI10.1007/BF02215282zbMath0748.17003MaRDI QIDQ1814494

Yu. M. Vazhenin

Publication date: 25 June 1992

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187534

zbMATH Keywords

generatorsdecidabilityvarietyrelationelementary theorynonassociative rings

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General nonassociative rings (17A99) Word problems, etc. in computability and recursion theory (03D40)

Related Items (1)

Critical theories of supervarieties of the variety of commutative associative rings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonassociative rings with a single defining relation whose elementary theories are decidable