Prevarieties of associative rings whose elementary theory is decidable

DOI10.1007/BF00972794zbMath0427.03019MaRDI QIDQ1136753

A. P. Zamyatin

Publication date: 1979

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

decidability of elementary theories of ring prevarieties

Mathematics Subject Classification ID

Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05)

Related Items (3)

The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences ⋮ Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties ⋮ Associative rings

Cites Work

• Rings with few zero divisors
• Finite rings in which the product of any two zero divisors is zero
• The existence of indecomposable abelian groups of arbitrary power
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Undecidable Rings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Prevarieties of associative rings whose elementary theory is decidable