Voir la notice de l'article provenant de la source Numdam
@article{CM_1975__31_1_23_0,
author = {Baur, Walter},
title = {Decidability and undecidability of theories of abelian groups with predicates for subgroups},
journal = {Compositio Mathematica},
pages = {23--30},
publisher = {Noordhoff International Publishing},
volume = {31},
number = {1},
year = {1975},
mrnumber = {384525},
zbl = {0335.02032},
language = {en},
url = {http://geodesic.mathdoc.fr/item/CM_1975__31_1_23_0/}
}
TY - JOUR AU - Baur, Walter TI - Decidability and undecidability of theories of abelian groups with predicates for subgroups JO - Compositio Mathematica PY - 1975 SP - 23 EP - 30 VL - 31 IS - 1 PB - Noordhoff International Publishing UR - http://geodesic.mathdoc.fr/item/CM_1975__31_1_23_0/ LA - en ID - CM_1975__31_1_23_0 ER -
%0 Journal Article %A Baur, Walter %T Decidability and undecidability of theories of abelian groups with predicates for subgroups %J Compositio Mathematica %D 1975 %P 23-30 %V 31 %N 1 %I Noordhoff International Publishing %U http://geodesic.mathdoc.fr/item/CM_1975__31_1_23_0/ %G en %F CM_1975__31_1_23_0
Baur, Walter. Decidability and undecidability of theories of abelian groups with predicates for subgroups. Compositio Mathematica, Tome 31 (1975) no. 1, pp. 23-30. http://geodesic.mathdoc.fr/item/CM_1975__31_1_23_0/