Reductions of well-ordering principles to combinatorial theorems

Lorenzo Carlucci, Leonardo Mainardi, Konrad Zdanowski

A well-ordering principle is a principle of the form: If $X$ is well-ordered then $F(X)$ is well-ordered, where $F$ is some natural operator transforming linear orders into linear…