The connections between mathematical logic and combinatorics have a rich history. This paper focuses on one aspect of this relationship: understanding the strength, measured using the tools of computability theory and reverse mathematics, of various partition theorems. To set the stage, recall two of the most fundamental combinatorial principles, König's Lemma and Ramsey's Theorem. We denote the set of natural numbers by ω and the set of finite sequences of natural numbers by ω<ω. We also identify each n ∈ ω (...) with its set of predecessors, so n = {0, 1, 2, …, n − 1}. (shrink)

A partial ordering $\mathbb{P}$ is $n$-Ramsey if, for every coloring of $n$-element chains from $\mathbb{P}$ in finitely many colors, $\mathbb{P}$ has a homogeneous subordering isomorphic to $\mathbb{P}$. In their paper on Ramsey properties of the complete binary tree, Chubb, Hirst, and McNicholl ask about Ramsey properties of other partial orderings. They also ask whether there is some Ramsey property for pairs equivalent to $\mathit{ACA}_{0}$ over $\mathit{RCA}_{0}$. A characterization theorem for finite-level partial orderings with Ramsey properties has been proven by the (...) second author. We show, over $\mathit{RCA}_{0}$, that one direction of the equivalence given by this theorem is equivalent to $\mathit{ACA}_{0}$, and the other is provable in $\mathit{ATR}_{0}$. We answer Chubb, Hirst, and McNicholl’s second question by showing that there is a primitive recursive partial ordering $\mathbb{P}$ such that, over $\mathit{RCA}_{0}$, “$\mathbb{P}$ is 2-Ramsey” is equivalent to $\mathit{ACA}_{0}$. (shrink)