%0 Journal Article %A Andreas Baudisch %T The theory of abelian p-groups with the quantifier I is decidable %J Fundamenta Mathematicae %D 1980 %P 183-197 %V 108 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-108-3-183-197/ %R 10.4064/fm-108-3-183-197 %G en %F 10_4064_fm_108_3_183_197