arXiv:math/9201248 [math.LO]AbstractReferencesReviewsResources
A partition theorem for pairs of finite sets
Published 1991-01-15Version 1
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.
Journal: J. Amer. Math. Soc. 4 (1991), 647--656
Categories: math.LO
Keywords: finite sets, partition theorem, finite character, cofinal homogeneous set, partition property
Tags: journal article
Related articles: Most relevant | Search more
arXiv:1904.10336 [math.LO] (Published 2019-04-23)
On uniform definability of types over finite sets for NIP formulas
Reverse mathematics and properties of finite character
Partial choice functions for families of finite sets