The maximal linear extension theorem in second order arithmetic
classification
🧮 math.LO
keywords
maximaltheoremequivalentextensionlinearorderspartialwell
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.