A partition theorem for pairs of finite sets
Logic
2008-02-03 v1
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.
Cite
@article{arxiv.math/9201248,
title = {A partition theorem for pairs of finite sets},
author = {Thomas Jech and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9201248},
year = {2008}
}