Decidability and undecidability of theories of abelian groups with predicates for subgroups
Compositio Mathematica, Tome 31 (1975) no. 1, pp. 23-30.
@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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/item/CM_1975__31_1_23_0/

[1] S. Feferman and R.L. Vaught: The first order properties of algebraic systems, Fund. Math. 47 (1959) 57-103. | MR | Zbl

[2] G. Higman: Subgroups of finitely presented groups, Proc. Roy. Soc. London (A) 262 (1961) 455-475. | MR | Zbl

[3] I. Kaplansky: Infinite Abelian Groups. (Univ. of Michigan Press, Ann Arbor 1954). | MR | Zbl

[4] G.T. Kozlov and A.I. Kokorin: Elementary theory of abelian groups without torsion, with a predicate selecting a subgroup, Algebra and Logic 8 (1969) 182-190. | MR | Zbl

[5] J.R. Shoenfield: Mathematical Logic. (Addison-Wesley, Reading, Mass., 1967). | MR | Zbl