Baudisch, Andreas. "The theory of abelian p-groups with the quantifier I is decidable." Fundamenta Mathematicae 108.3 (1980): 183-197. <http://eudml.org/doc/211138>.
@article{Baudisch1980, author = {Baudisch, Andreas}, journal = {Fundamenta Mathematicae}, keywords = {theory of Abelian p-groups; Härtig quantifier; elementary Szmielew basic sentences}, language = {eng}, number = {3}, pages = {183-197}, title = {The theory of abelian p-groups with the quantifier I is decidable}, url = {http://eudml.org/doc/211138}, volume = {108}, year = {1980}, }
TY - JOUR AU - Baudisch, Andreas TI - The theory of abelian p-groups with the quantifier I is decidable JO - Fundamenta Mathematicae PY - 1980 VL - 108 IS - 3 SP - 183 EP - 197 LA - eng KW - theory of Abelian p-groups; Härtig quantifier; elementary Szmielew basic sentences UR - http://eudml.org/doc/211138 ER -