搜索结果: 1-1 共查到“数理逻辑与数学基础 maximal linear extension theorem”相关记录1条 . 查询时间(0.14 秒)
The maximal linear extension theorem in second order arithmetic
maximal linear extension theorem second order arithmetic
2010/12/1
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 RCA...