Some generalizations of property \(B\) and the splitting property (Q1306741)

The following theorem is proved: Let \({\mathcal A}_1,\dots, {\mathcal A}_k\) \((k\geq 2)\) be set systems on the finite set \(X\). Assume that for every \(i= 1,\dots, k\) and for all set systems \({\mathcal A}_{j_1},\dots,{\mathcal A}_{j_i}\) \((1\leq j_1<\cdots< j_i\leq k)\) we have \(|A_1\cap\cdots\cap A_i|\not\in \{1,\dots, i-1\}\) for all \(A_l\in{\mathcal A}_{j_l}\) with \(l= 1,\dots, i\). Then there is a \(k\)-partition \(X_1\cup\cdots \cup X_k= X\) such that \(X_i\cap A\) is non-empty for every \(i= 1,\dots, k\) and for all \(A\in{\mathcal A}_i\). The author conjectures that the intersection condition can be replaced by \(|A_1\cap\cdots\cap A_i|\neq i-1\). Variants are discussed.