搜索结果: 1-1 共查到“公理集合论 Second-Order”相关记录1条 . 查询时间(0.187 秒)
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...