Property \({(\hbar)}\) and cellularity of complete Boolean algebras (Q1042435)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Property \({(\hbar)}\) and cellularity of complete Boolean algebras |
scientific article |
Statements
Property \({(\hbar)}\) and cellularity of complete Boolean algebras (English)
0 references
14 December 2009
0 references
A complete Boolean algebra \(\mathbf B\) satisfies property \({(\hbar)}\) if and only if each sequence \(x\) in \(\mathbf B\) has a subsequence \(y\) such that the equality \(\limsup z_{n} = \limsup y_n\) holds for each subsequence \(z\) of \(y\). The class of complete Boolean algebras satisfying property \({(\hbar)}\) includes all finite algebras as also the class of algebras satisfying the countable chain condition and the consistently wider class of \({\mathfrak t}\)-cc algebras (see [\textit{B. Balcar, F. Franek} and \textit{J. Hruška}, Acta Univ. Carol., Math. Phys. 40, No.~2, 27--41 (1999; Zbl 0969.06011)]). From the authors' summary: ``This property, providing an explicit definition of the aposteriori convergence in complete Boolean algebras with the sequential topology and a characterization of sequential compactness of such spaces, is closely related to the cellularity of Boolean algebras. Here we determine the position of property \({(\hbar)}\) with respect to the hierarchy of conditions of the form \(\kappa\)-cc. So, answering a question from [\textit{M. S. Kurilić} and \textit{A. Pavlović}, Ann. Pure Appl. Logic 148, No. 1--3, 49--62 (2007; Zbl 1132.06008)], we show that ``\({\mathfrak h}\text{-cc}\Rightarrow(\hbar)\)'' is not a theorem of ZFC and that there is no cardinal \({\mathfrak k}\), definable in ZFC, such that ``\({\mathfrak k}\text{-cc}\Leftrightarrow (\hbar)\)'' is a theorem of ZFC. Also, we show that the set \(\{\kappa:\) each \(\kappa\)-cc c.B.a. has \((\hbar)\}\) is equal to \([0,{\mathfrak h})\) or \([0,{\mathfrak h}]\) and that both values are consistent, which, with the known equality \(\{\kappa:\) each c.B.a. having \((\hbar )\) has the \(\kappa\text{-cc}\}=[{\mathfrak s},\infty )\) completes the picture.'' The results of this paper are mostly obtained using the techniques of Boolean-valued models and forcing.
0 references
complete Boolean algebras
0 references
cellularity
0 references
\(\kappa{\text{-cc}}\)
0 references
0 references