A Negative Partition Relation
Abstract
If the continuum hypothesis is assumed, there is a graph G whose vertices form an ordered set of type ω1 2; G does not contain triangles or complete even graphs of form [[unk]0,[unk]0], and there is no independent subset of vertices of type ω1 2.





