Cofinality of the Laver ideal (Q335004)

This paper reproves a result of Yurii Khomskii that the inequality \(\text{cof}(l^0)>{\mathfrak c}\) holds under ZFC. Khomskii's proof is contained in a preprint of \textit{J. Brendle} et al. [``Cofinality of Marczewski ideals'', Preprint, \url{arXiv:1611.08143}]. Here, \(l^0\) denotes the Laver ideal. The value of this paper is that it provides a few sufficient conditions for this inequality and proves a few slightly stronger inequalities, \(\text{cof}(l^0)={\mathfrak d}({}^{\mathfrak c} l^0) \geq {\mathfrak d}({}^{\mathfrak c}{\mathfrak c}) > {\mathfrak c}\), which also applicable to other tree ideals. The author also proved a result regarding the disjoint refinements of Boolean algebras -- given a Boolean algebra \(B\) with cellularity hereditarily \(\geq \kappa\), every \(\kappa\)-sequence of \(B\setminus \{0\}\) can be refined by a disjoint \(\kappa\)-subsequence. This is relevant to the aforementioned sufficient conditions.