Prime ideals on \(P_\omega(\lambda)\) with the partition property (Q1407572)

If \({\mathcal I}\) is an ideal on \({\mathcal P}_\omega(\lambda) = [\lambda]^{<\omega}\) (the collection of finite subsets of \(\lambda\)), we say that \({\mathcal I}\) has the partition property if for every natural number \(n\), every \({\mathcal I}\)-positive set \(P\) and every \(2\)-colouring of the \(n\)-element subsets of \(P\) there is an \({\mathcal I}\)-positive homogeneous set for that colouring. The following statement is a reformulation of well-known results: If Martin's Axiom holds, then there is a prime ideal on \([\omega]^{<\omega}\) with the partition property. The authors generalize this by showing that Martin's Axiom implies that for every \(\lambda < 2^{\aleph_0}\) there is a prime ideal on \([\lambda]^{<\omega}\) with the partition property. The paper contains further technical refinements.