Decidability and undecidability of theories of abelian groups with predicates for subgroups
Compositio Mathematica (1975)
- Volume: 31, Issue: 1, page 23-30
- ISSN: 0010-437X
Access Full Article
top
How to cite
topBaur, Walter. "Decidability and undecidability of theories of abelian groups with predicates for subgroups." Compositio Mathematica 31.1 (1975): 23-30. <http://eudml.org/doc/89264>.
@article{Baur1975,
author = {Baur, Walter},
journal = {Compositio Mathematica},
language = {eng},
number = {1},
pages = {23-30},
publisher = {Noordhoff International Publishing},
title = {Decidability and undecidability of theories of abelian groups with predicates for subgroups},
url = {http://eudml.org/doc/89264},
volume = {31},
year = {1975},
}
TY - JOUR
AU - Baur, Walter
TI - Decidability and undecidability of theories of abelian groups with predicates for subgroups
JO - Compositio Mathematica
PY - 1975
PB - Noordhoff International Publishing
VL - 31
IS - 1
SP - 23
EP - 30
LA - eng
UR - http://eudml.org/doc/89264
ER -
References
top- [1] S. Feferman and R.L. Vaught: The first order properties of algebraic systems, Fund. Math.47 (1959) 57-103. Zbl0088.24803MR108455
- [2] G. Higman: Subgroups of finitely presented groups, Proc. Roy. Soc.London (A) 262 (1961) 455-475. Zbl0104.02101MR130286
- [3] I. Kaplansky: Infinite Abelian Groups. (Univ. of Michigan Press, Ann Arbor1954). Zbl0057.01901MR65561
- [4] G.T. Kozlov and A.I. Kokorin: Elementary theory of abelian groups without torsion, with a predicate selecting a subgroup, Algebra and Logic8 (1969) 182-190. Zbl0214.01503MR258617
- [5] J.R. Shoenfield: Mathematical Logic. (Addison-Wesley, Reading, Mass., 1967). Zbl0155.01102MR225631
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.