Peter H. Schmitt. The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup. Math. Log. Q., 28(22-24):323-329, 1982. [doi]
@article{Schmitt82-1, title = {The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup}, author = {Peter H. Schmitt}, year = {1982}, doi = {10.1002/malq.19820282203}, url = {http://dx.doi.org/10.1002/malq.19820282203}, researchr = {https://researchr.org/publication/Schmitt82-1}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {28}, number = {22-24}, pages = {323-329}, }