  Every partition of [[omega_1]^{< omega}]^2 into finitely many pieces has a
cofinal homogeneous set. Furthermore, it is consistent that every directed
partially ordered set satisfies the partition property if and only if it has
finite character.
