English

Reduced Products of Collapsing Algebras

Logic 2024-03-27 v1

Abstract

rp(B)\mathop{\rm rp}\nolimits ({\mathbb B}) denotes the reduced power Bω/Φ{\mathbb B}^\omega /\Phi of a Boolean algebra B{\mathbb B}, where Φ\Phi is the Fr\'{e}chet filter Φ\Phi on ω\omega. We investigate iterated reduced powers (rp0(B)=B\mathop{\rm rp}\nolimits ^0 ({\mathbb B})={\mathbb B} and rpn+1(B)=rp(rpn(B))\mathop{\rm rp}\nolimits ^{n+1} ({\mathbb B} )=\mathop{\rm rp}\nolimits (\mathop{\rm rp}\nolimits ^n ({\mathbb B}))) of collapsing algebras and our main intention is to classify the algebras rpn(Col(λ,κ))\mathop{\rm rp}\nolimits ^n (\mathop{\rm Col}\nolimits (\lambda ,\kappa)), nNn\in {\mathbb N}, up to isomorphism of their Boolean completions. In particular, assuming that SCH and h=ω1{\mathfrak h} =\omega _1 hold, we show that for any cardinals λω\lambda\geq \omega and κ2\kappa \geq 2 such that κλ>ω\kappa\lambda >\omega and cf(λ)c\mathop{\rm cf}\nolimits (\lambda )\leq {\mathfrak c} we have ro(rpn(Col(λ,κ)))Col(ω1,(κ<λ)ω)\mathop{\rm ro} (\mathop{\rm rp}\nolimits ^n(\mathop{\rm Col}\nolimits (\lambda ,\kappa)))\cong \mathop{\rm Col}\nolimits (\omega _1, (\kappa ^{<\lambda })^\omega ), for each nNn\in {\mathbb N}. If b=d{\mathfrak b} ={\mathfrak d} and 00^\sharp does not exist, then the same holds whenever cf(λ)=ω\mathop{\rm cf}\nolimits (\lambda )= \omega.

Keywords

Cite

@article{arxiv.2403.17930,
  title  = {Reduced Products of Collapsing Algebras},
  author = {Miloš S. Kurilić},
  journal= {arXiv preprint arXiv:2403.17930},
  year   = {2024}
}

Comments

26 pages