The maximal linear extension theorem in second order arithmetic |
| |
| Authors: | Alberto Marcone Richard A Shore |
| |
| Institution: | 1. Dipartimento di Matematica e Informatica, Universit?? di Udine, 33100, Udine, Italy
2. Department of Mathematics, Cornell University, Ithaca, NY, 14853, USA
|
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
