Reduced Products of Collapsing Algebras
Logic
2024-03-27 v1
Abstract
rp(B) denotes the reduced power Bω/Φ of a Boolean algebra B, where Φ is the Fr\'{e}chet filter Φ on ω. We investigate iterated reduced powers (rp0(B)=B and rpn+1(B)=rp(rpn(B))) of collapsing algebras and our main intention is to classify the algebras rpn(Col(λ,κ)), n∈N, up to isomorphism of their Boolean completions. In particular, assuming that SCH and h=ω1 hold, we show that for any cardinals λ≥ω and κ≥2 such that κλ>ω and cf(λ)≤c we have ro(rpn(Col(λ,κ)))≅Col(ω1,(κ<λ)ω), for each n∈N. If b=d and 0♯ does not exist, then the same holds whenever cf(λ)=ω.
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