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
An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees (short version)
Jean Abou Samra, David A. Madore
Solving polynomials in large pseudo-finite sets
Alessandro Vegnuti
Idiosynchromatic Poetry
Thilo Weinert
Free Tn-Heyting algebras
Juan Manuel Cornejo, Andrés Gallardo, Paula Helt et al.
A true Π01 sentence independence of PA
Mohammad Golshani
Ultrahomogeneous hypertournaments
Rob Sullivan