Convergence in topological groups and the Cohen reals

Abstract

We show that it is consistent to have an uncountable sequential group of intermediate sequential order while no countable such groups exist. This is proved by adding ${\omega }_2$ Cohen reals to a model of $♢$.