Forcing hereditarily separable compact-like group topologies on Abelian groups

We also put to rest a 1980 problem of van Douwen about the cofinality of the size of countably compact Abelian groups.