Convergence in topological groups and the Cohen reals (Q1632744)

A space \(X\) is called \textit{sequential} if for every non-closed set \(A\subset X\), there exists a sequence \(\{a_n: n\in\omega\} \subset A\) such that \(a_n\to x\in X\setminus A\). For any set \(A\subset X\), let \(sq_0(A)=A\); if \(\alpha \leq \omega_1\) is an ordinal and we have defined the set \(sq_\beta(A)\) for any \(\beta <\alpha\), then \(sq_\alpha(A)\) is the set of limits of all sequences contained in \(\bigcup\{sq_\beta(A): \beta<\alpha\}\). It is known that a space \(X\) is sequential if and only if \(\overline A= sq_{\omega_1}(A)\) for every \(A\subset X\). Therefore, for a sequential space \(X\), it is possible to define its sequential order \(so(X)= \min\{\alpha\leq \omega_1: \overline A=sq_\alpha(A)\) for all \(A \subset X\}\). The author applies forcing to construct a model of ZFC in which there exists a sequential topological group \(H\) such that \(so(H)=2\) but there are no sequential countable topological groups \(G\) for which \( 1<so(G)<\omega_1\).