The maximal linear extension theorem in second order arithmetic
Logic
2011-06-06 v2
Abstract
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 equivalent to ATR_0 over RCA_0.
Cite
@article{arxiv.1009.1528,
title = {The maximal linear extension theorem in second order arithmetic},
author = {Alberto Marcone and Richard A. Shore},
journal= {arXiv preprint arXiv:1009.1528},
year = {2011}
}
Comments
18 pages. New proof of the maximal chain theorem in ATR_0