A partition theorem for pairs of finite sets
  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. 
Thomas Jech, Saharon Shelah