Whitehead groups may be not free, even assuming CH, I

AbstractWe prove the consistency with ZFC+G.C.H. of an assertion, which implies several consequences of $$MA + 2^{\aleph _0 } > \aleph _1 $$ , which $$\diamondsuit \aleph _1 $$ implies their negation.