The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup
From MaRDI portal
Publication:3958440
DOI10.1002/malq.19820282203zbMath0495.03017MaRDI QIDQ3958440
Publication date: 1982
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19820282203
Related Items
A uniform method for proving lower bounds on the computational complexity of logical theories, On pairs of free modules over a Dedekind domain