The existence of initially ω1-compact group topologies on free Abelian groups is independent of ZFC - Tomita, Artur Hideyuki (Commentationes Mathematicae Universitatis Carolinae, 1998)