Precalibre pairs of measure algebras (Q1886710)

For a Boolean algebra, \((\kappa,\lambda)\) is a precaliber if among \(\kappa\) nonzero elements some \(\lambda\) form a centered family. \(\kappa\) is a precaliber if \((\kappa,\kappa)\) is. If, in a measure algebra, ``nonzero'' is replaced by ``of measure \(>\varepsilon\)'' for some \(\varepsilon>0\), then we speak of measure precaliber. In this paper, several statements of combinatorial set theory and topological measure theory are connected to these notions. The most important new results are the following. It is consistent that there is a Corson compact space with a Radon measure of type \(2^{\aleph_0}>\aleph_1\). If \(\text{ cf}(\kappa)=\omega\) and \(\lambda<\kappa\) implies \(\lambda^{\aleph_0}<\kappa\), then \(\kappa\) is a measure precaliber. If \(\theta=\theta^{\aleph_0}<\text{cf}(\kappa)\), \(\kappa\leq 2^\theta\), then \(\kappa\) is a measure precaliber. If \(\theta=\theta^{\aleph_0}, \theta+2^{2^{\aleph_0}}<\text{ cf}(\kappa)\), \(\kappa\leq 2^\theta\), then every family of \(\kappa\) distinct elements of a measure algebra contains an independent subfamily of cardinality \(\kappa\) (a theorem of Shelah's, with slight improvement and shorter proof).