Property ((h)over-bar) and cellularity of complete Boolean algebras

被引:0
|
作者
Kurilic, Milos S. [2 ]
Todorcevic, Stevo [1 ,3 ]
机构
[1] Univ Paris 07, UFR Math, F-75251 Paris 05, France
[2] Univ Novi Sad, Dept Math & Informat, Novi Sad 21000, Serbia
[3] Univ Toronto, Dept Math, Toronto, ON M5S 2E4, Canada
关键词
Boolean algebras; Chain conditions; Small cardinals; Forcing; SEQUENTIAL TOPOLOGY; VON-NEUMANN;
D O I
10.1007/s00153-009-0144-4
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
A complete Boolean algebra B satisfies property ((h) over bar) iff each sequence x in 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. Herewe determine the position of property ((h) over bar) with respect to the hierarchy of conditions of the form kappa-cc. So, answering a question from Kurilic and Pavlovic (Ann Pure Appl Logic 148(1-3): 49-62, 2007), we show that "h-cc double right arrow ((h) over bar)" is not a theorem of ZFC and that there is no cardinal l, definable in ZFC, such that "l-cc double left right arrow ((h) over bar)" is a theorem of ZFC. Also, we show that the set {kappa : each kappa-cc c.B.a. has ((h) over bar)} is equal to [0, h) or [0, h] and that both values are consistent, which, with the known equality {kappa : each c.B.a. having ((h) over bar) has the kappa-cc} = [s, infinity) completes the picture.
引用
收藏
页码:705 / 718
页数:14
相关论文
共 50 条
  • [1] ((is an element of)over-bar, (is an element of boolean AND q(k))over-bar)-Fuzzy Subalgebras in BCK/BCI-Algebras
    Ameri, Reza
    Hedayati, Hossein
    Norouzi, Morteza
    [J]. JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE-JMCS, 2011, 2 (01): : 130 - 140
  • [2] Characterizations of ((∈)over-bar,(∈)over-bar V (q)over-bar)-interval valued fuzzy H-ideals in BCK-algebras
    Zulfiqar, Muhammad
    Shabir, Muhammad
    [J]. KUWAIT JOURNAL OF SCIENCE, 2015, 42 (02) : 42 - 66
  • [3] Some kinds of ((∈)over-bar, (∈)over-bar ∨ (q)over-bar)-fuzzy filters of BL-algebras
    Ma, Xueling
    Zhan, Jianming
    Dudek, Wieslaw A.
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2009, 58 (02) : 248 - 256
  • [4] Some characterizations of ((∈)over-barγ, (∈)over-barγ v (q)over-barδ)-fuzzy fantastic ideals in BCH-algebras
    Zulfiqar, Muhammad
    [J]. ACTA SCIENTIARUM-TECHNOLOGY, 2013, 35 (01) : 123 - 129
  • [5] STRONG AMALGAMATION PROPERTY FOR COMPLETE BOOLEAN ALGEBRAS
    MONRO, GP
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (06): : 499 - 502
  • [6] On ((∈)over-bar, (∈)over-barV (q)over-bar)-fuzzy ideals of BCI-algebras
    Zhan, Jianming
    Jun, Young Bae
    [J]. NEURAL COMPUTING & APPLICATIONS, 2011, 20 (03): : 319 - 328
  • [7] Study of (B)over-bar → Λ(p)over-barρ(φ) and (B)over-bar →Λ(Λ)over-bar(K)over-bar
    Geng, C. Q.
    Hsiao, Y. K.
    [J]. PHYSICAL REVIEW D, 2012, 85 (01)
  • [8] Collisions of H and (H)over-bar
    Dalgarno, A
    Froelich, P
    Jonsell, S
    Saenz, A
    Zygelman, B
    [J]. NEW DIRECTIONS IN ANTIMATTER CHEMISTRY AND PHYSICS, 2001, : 47 - 52
  • [9] Advances in the theory of μ(L)over-barΠ algebras
    Marchioni, Enrico
    Spada, Luca
    [J]. LOGIC JOURNAL OF THE IGPL, 2011, 19 (03) : 476 - 489
  • [10] (B)over-bar → Dτ(ν)over-barτ vs. (B)over-bar → Dμ(ν)over-barμ
    Becirevic, Damir
    Kosnik, Nejc
    Tayduganov, Andrey
    [J]. PHYSICS LETTERS B, 2012, 716 (01) : 208 - 213