(Un)countable and (Non)effective Versions of Ramsey's Theorem

Abstract

We review Ramsey’s theorem and its extensions by Jockusch for computable partitions, by Sierpiński and by Erdős and Rado for uncountable homogeneous sets, by Rubin for automatic partitions, and by the author for ω-automatic (in particular uncountable) partitions.