Chang, C. C., A partition theorem for the complete graph on $\omega\sp{\omega }$. J. Combinatorial Theory Ser. A 12 (1972), 396--452; doi:10.1016/0097-3165(72)90105-7 (received 24 February 1970; the running head prints volume 12). The Theorem $\omega^\omega\to(\omega^\omega,3)^2$ with its explanation and its attribution to Problem 7 of the Erdős--Hajnal list, p. 396; the four lemmas and the proof of the theorem from them, pp. 403--405; footnote 1 with Milner's $\omega^\omega\to(\omega^\omega,m)^2$, $m<\omega$, and Larson's shorter proof [La73], p. 397; the Theorem, the lemma statements and the reduction are the basis at statement depth, the proofs of the lemmas for structure only. Library home: Chang 1972 and its Chang 1972, Theorem (p. 396) page.

Larson, Jean A., A short proof of a partition theorem for the ordinal $\omega \sp{\omega }$. Ann. Math. Logic 6 (1973), no. 2, 129-145; doi:10.1016/0003-4843(73)90006-5 (issue dated December 1973). Not held; claim page Larson 1973.

Specker, Ernst, Teilmengen von Mengen mit Relationen. Comment. Math. Helv. (1957), 302-314.