搜索结果: 1-1 共查到“代数学 CONSISTENCY STRENGTH”相关记录1条 . 查询时间(0.062 秒)
BOUNDING THE CONSISTENCY STRENGTH OF A FIVE ELEMENT LINEAR BASIS
CONSISTENCY STRENGTH FIVE ELEMENT LINEAR BASIS
2015/8/17
In [13] it was demonstrated that the Proper Forcing Axiom implies that there is a five element basis for the class of uncountable linear orders. The assumptions needed in the proof have consistency st...