Partitioning pairs of countable ordinals

Abstract

It is proved that all pairs of countable ordinals can be colored with uncountably many colors in such a way that every uncountable set of ordinals contains a pair of every color. The proof does not use the existence of certain uncountable linear orders, as was the case in previous work on this subject, but employs the concept of a special Aronszajn tree.