scientific article; zbMATH DE number 3989332

MaRDI QIDQ3752372zbMATH OpenFDO

Authors Françoise Point

Publication date 1986

zbMATH Keywords

representation typedecidable theoryleft R-modulescommutative artinian rings

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Commutative Artinian rings and modules, finite-dimensional algebras (13E10) Finite rings and finite-dimensional associative algebras (16P10) Representation theory of associative rings and algebras (16Gxx) Applications of logic to commutative algebra (13L05)

Recommendations

• scientific article; zbMATH DE number 510790
• scientific article; zbMATH DE number 4059374
• Decidability for Theories of Modules
• scientific article; zbMATH DE number 1850724
• Decidability of theories of modules over tubular algebras

Cited in

(7)

• Towards the decidability of the theory of modules over finite commutative rings
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• On recognizing cyclic modules effectively
• scientific article; zbMATH DE number 1850724 (Why is no real title available?)
• Decidability for Theories of Modules
• Decidability of theories of modules over tubular algebras

This page was built for publication:

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