Decidability and undecidability of theories of abelian groups with predicates for subgroups
Compositio Mathematica, Volume 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},
zbl = {0335.02032},
mrnumber = {384525},
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
DA  - 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/
UR  - https://zbmath.org/?q=an%3A0335.02032
UR  - https://www.ams.org/mathscinet-getitem?mr=384525
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
%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, Volume 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