A posteriori convergence in complete Boolean algebras with the sequential topology (Q2382277)

A sequence \(x = (x_n)_{n \in\omega}\) in a complete Boolean algebra \(B\) converges to \(b \in B\) a priori (\(x\to b\)) if \(\liminf x_n = \limsup x_n = b\). The sequential topology \(\tau_s\) on \(B\) is the maximal topology on \(B\) such that \(x \to b\) implies \(x\) converges to \(b\) in \((B, \tau_s)\) -- the a posteriori convergence. In this paper, these two forms of convergence are investigated; also the properties of the sequential topology related to forcing are studied. It is shown that the a posteriori convergence is equivalent to the apriori convergence iff forcing in \(B\) does not produce new reals. A property (\(\hbar\)) of complete Boolean algebras is isolated; some interesting results are proved; for example, it is proved that a complete Boolean algebra \((B, \tau_s)\) is sequentially compact if and only if it has the property (\(\hbar\)) and it does not produce independent reals by forcing.