Geodesic
Decidability and undecidability of theories of abelian groups with predicates for subgroups
Compositio Mathematica, Tome 31 (1975) no. 1, pp. 23-30

Voir la notice de l'article provenant de la source Numdam

MR Zbl EuDML 
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/
@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},
     year = {1975},
     publisher = {Noordhoff International Publishing},
     volume = {31},
     number = {1},
     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