Property {(hbar)} and cellularity of complete Boolean algebras

Archive for Mathematical Logic 48 (8):705-718 (2009)
  Copy   BIBTEX

Abstract

A complete Boolean algebra ${\mathbb{B}}$ satisfies property ${(\hbar)}$ iff each sequence x in ${\mathbb{B}}$ has a subsequence y such that the equality lim sup z n = lim sup y n holds for each subsequence z of y. This property, providing an explicit definition of the a posteriori 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 κ-cc. So, answering a question from Kurilić and Pavlović (Ann Pure Appl Logic 148(1–3):49–62, 2007), we show that ${``\mathfrak{h}{\rm -cc}\Rightarrow (\hbar)"}$ is not a theorem of ZFC and that there is no cardinal ${\mathfrak{k}}$ , definable in ZFC, such that ${``\mathfrak{k} {\rm -cc} \Leftrightarrow (\hbar)"}$ is a theorem of ZFC. Also, we show that the set ${\{ \kappa : {\rm each}\, \kappa{\rm -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 : {\rm each\, c.B.a.\, having }\, (\hbar )\, {\rm has\, the}\, \kappa {\rm -cc } \} =[{\mathfrak s}, \infty )}}$ completes the picture

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On some small cardinals for Boolean algebras.Ralph Mckenzie & J. Donald Monk - 2004 - Journal of Symbolic Logic 69 (3):674-682.
On ultraproducts of Boolean algebras and irr.Saharon Shelah - 2003 - Archive for Mathematical Logic 42 (6):569-581.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Some Boolean Algebras with Finitely Many Distinguished Ideals I.Regina Aragón - 1995 - Mathematical Logic Quarterly 41 (4):485-504.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Depth of Boolean Algebras.Shimon Garti & Saharon Shelah - 2011 - Notre Dame Journal of Formal Logic 52 (3):307-314.
Some Open Questions for Superatomic Boolean Algebras.Juan Carlos Martínez - 2005 - Notre Dame Journal of Formal Logic 46 (3):353-356.
Strictly positive measures on Boolean algebras.Mirna Džamonja & Grzegorz Plebanek - 2008 - Journal of Symbolic Logic 73 (4):1416-1432.
Quotients of Boolean algebras and regular subalgebras.B. Balcar & T. Pazák - 2010 - Archive for Mathematical Logic 49 (3):329-342.
The number of openly generated Boolean algebras.Stefan Geschke & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (1):151-164.

Analytics

Added to PP
2013-11-23

Downloads
19 (#775,535)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?