A posteriori convergence in complete Boolean algebras with the sequential topology (Q2382277)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A posteriori convergence in complete Boolean algebras with the sequential topology |
scientific article |
Statements
A posteriori convergence in complete Boolean algebras with the sequential topology (English)
0 references
28 September 2007
0 references
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.
0 references
Boolean algebra
0 references
sequential topology
0 references
sequential compactness
0 references
chain conditions
0 references
small cardinals
0 references
forcing
0 references
tall ideal
0 references
independent real
0 references
0 references