A negative partition relation.
If the continuum hypothesis is assumed, there is a graph G whose vertices form an ordered set of type omega(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 omega(1) (2).
Hajnal
A
A
Mathematics Department, University of Calgary, Calgary, Alberta, Canada.