On pairs of free modules over a Dedekind domain (Q2580960)

From the authors' introduction: ``The purpose of this paper is to study pairs of free Abelian groups or, more generally, of free modules over a given Dedekind domain \(R\) from a model theoretic point of view.'' The authors begin with a new proof of Ziegler's classification of indecomposable pure injective pairs \((A,N)\) of flat modules over a Dedekind domain \(R\). In the heart of the paper, they consider the first-order theory \(T_ 1\) of the pairs \((F, F_ 1)\), where \(F\) is a free Abelian group and \(F_ 1\) is a subgroup of \(F\). It is shown that \(T_ 1\) is co-recursively enumerable. Finally the authors show that the extensions \(T_ 1^{\text{div}}\) and \(T_ 1^{\text{tf}}\) of \(T_ 1\) are decidable. Here \(T_ 1^{\text{div}}\) is the first-order theory of the pairs \((F, F_ 1)\) where \(F/F_1\) is divisible, and \(T_ 1^{\text{tf}}\) is the first-order theory of the pairs \((F, F_ 1)\) where \(F/F_1\) is torsion-free.