I was an undergraduate student at Los Andes, from 1992 to 1996. This year, their mathematics program is turning 50. There was a conference in September to celebrate the event, and I had the honor to give one of the talks (see here for the English version of the slides).
The topic is the partition calculus of very small countable ordinals (mainly ordinals below , actually). The paper reviews Ramsey’s theorem and a few finite examples, before discussing the two main results.
One is an old theorem by Haddad and Sabbagh, unfortunately not well known. In 1969, they computed the Ramsey numbers for finite.
Given nonzero ordinals , recall that is the least such that any red-blue coloring of the edges of either admits a red copy of or a blue copy of . Clearly , if , and , so we may as well assume that , and we adopt this convention in what follows.
Ramsey proved two theorems about this function in a famous 1928 paper that introduced the topic. In the notation we have just set up, his first result asserts that is finite whenever are finite, and his second result states that . The computation of the numbers is an extremely difficult, most likely unfeasible, problem, though is obviously a recursive function. We are concerned here with the values of the function when at least one of the arguments is infinite.
It turns out that is already . Hence, if we are interested in studying the countable values of the function , then we must assume that either , in which case and there is nothing more to say, or else (that is, if is countable and strictly larger than ) we must assume that is finite.
The function has been intensively studied when is a limit ordinal, particularly a power of . Here we look at the much humbler setting where . Recalling that each ordinal equals the set of its predecessors, and using interval notation to describe sets of ordinals, the Haddad-Sabbagh result is as follows:
Lemma. For all positive integers there exists a positive integer such that for any red-blue coloring of the edges of , and such that is blue, there is a subset of with monochromatic, and either is blue and , or else is red, , and .
Denote by the smallest number witnessing the lemma.
Theorem. If are positive integers, then , where .
The theorem was announced in 1969, but the proof never appeared. I have written a survey on the topic, including what should be the first proof in print of this result.