A partition theorem for pairs of finite sets
Thomas Jech, Saharon Shelah
math.LOarXiv:math/9201248
Abstract
Every partition of [[omega1]< 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.
Create a lesson
Related papers
On the foundations of logic and probability, I. Modal sentential calculi
Loic Cosyns
Compactness via Consistency Properties
Edgar Valenzuela
Fine Selection for Intuitionistic Modal Logic
David Fernández-Duque
Asymptotic dimension of commutative monoid actions
Jinmin Wang, Jing Yu, Jingming Zhu
Pointwise provable equality and the failure of composition
Florian Lengyel
Compactness beyond choice and HOD
Jonathan Osinski