Antichains of perfect and splitting trees (Q2309498)

The paper deals with tree forcing notions, mainly with Sacks, Miller, and splitting tree forcing denoted by \(\mathsf{Sa}\), \(\mathsf{M}\), and \(\mathsf{Sp}\), respectively. For any tree forcing notion~\(P\) let \(\mathfrak{a}(P)\) denote the minimal cardinality of a~maximal antichain of uncountable cardinality and let \(I(P)\) denote the associated tree ideal either on \(2^\omega\) or on \(\omega^\omega\). E.g., for \(P\in\{\mathsf{Sa},\mathsf{Sp}\}\), \(I(P)=\{X\subseteq2^\omega:\forall p\in P\) \(\exists q\in P\) \((q\le p\land[q]\cap X=\emptyset)\}\). Among many other results, the authors prove \(\mathfrak{d}\le\mathfrak{a}(\mathsf{Sa})\), \(\mathrm{add}(I(\mathsf{Sa}))\le\mathfrak{b}\), \(\mathrm{cov}(\mathrm{Meager})\le\mathfrak{a}(\mathsf{Sp})\), \(\mathfrak{b}\le\mathfrak{a}(\mathsf{M})\), and the consistency of \(\mathfrak{d}<\mathfrak{a}(\mathsf{M})\) with ZFC.