Conflict free colorings of nonuniform systems of infinite sets (Q663080)

The author gives an alternative proof of Theorem~4.1 of [\textit{A.~Hajnal} et al., Acta Math. Hung. 131, No. 3, 230--274 (2011; Zbl 1274.03074)]: If \(\lambda\) and \(\kappa\) are cardinals and \(\mathcal{H}\) is a subfamily of \([\lambda]^\kappa\) for which there is a fixed natural number \(r\) such that \(| A\cap B| <r\) for all \(A,B\in\mathcal{H}\) then there is a colouring \(c : \lambda\to\omega\) such that for every \(A\in\mathcal{H}\) there is a colour that occurs exactly once in \(A\). In fact the proof works for arbitrary systems of infinite sets, without requiring all members to have the same cardinality. The author also investigates if it can happen that for every \(A\) all but finitely many colours occur exactly once. He provides a counterexample of cardinality \(\mathfrak{c}\) on a set of cardinality \(\mathfrak{c}\) and shows that if Martin's Axiom holds for the cardinal \(| \mathcal{H}| \) then the answer is positive, even if the pairwise intersections are only assumed to be finite.