Prevarieties of associative rings whose elementary theory is decidable

DOI10.1007/BF00972794MaRDI QIDQ1136753zbMATH OpenFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3505056 (Why is no real title available?)
• scientific article; zbMATH DE number 3286953 (Why is no real title available?)
• scientific article; zbMATH DE number 3316928 (Why is no real title available?)
• scientific article; zbMATH DE number 3316934 (Why is no real title available?)
• scientific article; zbMATH DE number 3322089 (Why is no real title available?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Finite rings in which the product of any two zero divisors is zero
• Rings with few zero divisors
• The existence of indecomposable abelian groups of arbitrary power
• Undecidable Rings

Cited in

(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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1136753)