The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup

DOI10.1002/malq.19820282203zbMath0495.03017OpenAlexW2071658860MaRDI QIDQ3958440

Peter H. Schmitt

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

zbMATH Keywords

saturated modelselementary invariantspairs of abelian groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Models of other mathematical theories (03C65) Abelian groups (20K99)

Related Items (2)

A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ On pairs of free modules over a Dedekind domain

This page was built for publication: The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup