A partition theorem for pairs of finite sets
Abstract
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.
 Publication:

arXiv Mathematics eprints
 Pub Date:
 January 1991
 arXiv:
 arXiv:math/9201248
 Bibcode:
 1992math......1248J
 Keywords:

 Mathematics  Logic
 EPrint:
 J. Amer. Math. Soc. 4 (1991), 647656