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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references