Remarks on cofinalities and homomorphism types of Boolean algebras (Q2639850): Difference between revisions

Let B be a Boolean algebra. Then h(B) denotes the least cardinality of an infinite homomorphic image of B and cf(B) denotes the least infinite cardinal \(\lambda\) such that there exists a strictly increasing sequence of length \(\lambda\) of subalgebras of B with union B. The authors show the relative consistency of ZFC with \(2^{\omega}=\kappa\) where \(\kappa\) is an arbitrary cardinal with uncountable cofinality together with ``there exists a Boolean algebra B with \(cf(B)=| B| =\omega_ 1''\) and ``for every cardinal \(\lambda\leq \kappa\) of uncountable cofinality there exists a Boolean algebra B with \(h(B)=\lambda ''\). In order to obtain the result the authors develop the forcing of type S which is a generalization of Sacks forcing.