The maximal linear extension theorem in second order arithmetic

Alberto Marcone, Richard A. Shore

We show that the maximal linear extension theorem for well partial orders is equivalent over RCA_0 to ATR_0. Analogously, the maximal chain theorem for well partial orders is equiv…