The theory of abelian p-groups with the quantifier I is decidable

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Andreas Baudisch Fundamenta Mathematicae 108 (1980), 183-197 DOI: 10.4064/fm-108-3-183-197