1 THE MAXIMAL LINEAR EXTENSION THEOREM IN SECOND ORDER ARITHMETIC
Alberto Marcone, Richard, A. Shore · 2011
We show that the maximal linear extension theorem for well partial orders is equivalent over RCA0 to ATR0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR0 over RCA0.