The theory of abelian p-groups with the quantifier I is decidable
Fundamenta Mathematicae, Tome 108 (1980) no. 3, pp. 183-197
Cet article a éte moissonné depuis la source Institute of Mathematics Polish Academy of Sciences
@article{10_4064_fm_108_3_183_197,
author = {Andreas Baudisch},
title = {The theory of abelian p-groups with the quantifier {I} is decidable},
journal = {Fundamenta Mathematicae},
pages = {183--197},
year = {1980},
volume = {108},
number = {3},
doi = {10.4064/fm-108-3-183-197},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-108-3-183-197/}
}
TY - JOUR AU - Andreas Baudisch TI - The theory of abelian p-groups with the quantifier I is decidable JO - Fundamenta Mathematicae PY - 1980 SP - 183 EP - 197 VL - 108 IS - 3 UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-108-3-183-197/ DO - 10.4064/fm-108-3-183-197 LA - en ID - 10_4064_fm_108_3_183_197 ER -
Andreas Baudisch. The theory of abelian p-groups with the quantifier I is decidable. Fundamenta Mathematicae, Tome 108 (1980) no. 3, pp. 183-197. doi: 10.4064/fm-108-3-183-197
Cité par Sources :