Back to Search
Start Over
The maximal linear extension theorem in second order arithmetic.
- Source :
-
Archive for Mathematical Logic . Jun2011, Vol. 50 Issue 5/6, p543-564. 22p. - Publication Year :
- 2011
-
Abstract
- We show that the maximal linear extension theorem for well partial orders is equivalent over RCA to ATR. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR over RCA. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09335846
- Volume :
- 50
- Issue :
- 5/6
- Database :
- Academic Search Index
- Journal :
- Archive for Mathematical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 60904516
- Full Text :
- https://doi.org/10.1007/s00153-011-0231-1