Prevarieties of associative rings whose elementary theory is decidable
From MaRDI portal
Publication:1136753
DOI10.1007/BF00972794zbMath0427.03019MaRDI QIDQ1136753
Publication date: 1979
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
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