Abstract. Given a cardinal κ and a sequence (α i ) i∈κ of ordinals, we determine the least ordinal β (when one exists) such that the topological partition relationholds, including an independence result for one class of cases. Here the prefix "top" means that the homogeneous set must have the correct topology rather than the correct order type. The answer is linked to the non-topological pigeonhole principle of Milner and Rado.

, on the occasion of his birthday.Abstract. We study the topological version of the partition calculus in the setting of countable ordinals. Let α and β be ordinals and let k be a positive integer. We write β →top (α, k) 2 to mean that, for every red-blue coloring of the collection of 2-sized subsets of β, there is either a red-homogeneous set homeomorphic to α or a blue-homogeneous set of size k. The least such β is the topological Ramsey number R top (α, k).We prove a topological version of the Erdős-Milner theorem, namely that R top (α, k) is countable whenever α is countable. More precisely, we prove that R top (ω ω β , k + 1) ≤ ω ω β·k for all countable ordinals β and finite k. Our proof is modeled on a new easy proof of a weak version of the Erdős-Milner theorem that may be of independent interest. We also provide more careful upper bounds for certain small values of α, proving among other results thatOur computations use a variety of techniques, including a topological pigeonhole principle for ordinals, considerations of a tree ordering based on the Cantor normal form of ordinals, and some ultrafilter arguments.