${\aleph }_k$-free cogenerators

Manfred Dugas, Daniel Herden, Saharon Shelah

We prove in ZFC that an abelian group $C$ is cotorsion if and only if $\mathrm{Ext}(F,C)=0$ for every ${\aleph }_k$-free group $F$, and discuss some consequences and related r…