arXiv Analytics

Sign in

arXiv:math/9201248 [math.LO]AbstractReferencesReviewsResources

A partition theorem for pairs of finite sets

Thomas Jech, Saharon Shelah

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
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
arXiv:1109.3378 [math.LO] (Published 2011-09-15, updated 2012-01-24)
Reverse mathematics and properties of finite character
arXiv:0808.0535 [math.LO] (Published 2008-08-05, updated 2011-12-11)
Partial choice functions for families of finite sets