On pairs of free modules over a Dedekind domain

DOI10.1007/s00153-005-0311-1zbMath1094.03024OpenAlexW2046755831MaRDI QIDQ2580960

Saverio Cittadini, Carlo Toffalori

Publication date: 10 January 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0311-1

zbMATH Keywords

first-order theorydecidabilitypairs of free modules

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Applications of logic in associative algebras (16B70)

Cites Work

• Unnamed Item
• Model theory of modules
• Flat covers of modules
• ALL MODULES HAVE FLAT COVERS
• Decidability for Theories of Modules
• Generalizations of the Stacked Bases Theorem
• On the elementary theory of quadruples of vector spaces
• The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup
• Undecidability of the Theory of Abelian Groups with a Subgroup
• Elementary Duality of Modules
• Torsion Free Covering Modules