搜索结果: 1-2 共查到“理学 CONSISTENCY STRENGTH”相关记录2条 . 查询时间(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...
On the consistency strength of the proper forcing axiom
consistency strength proper forcing axiom
2011/1/20
Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcin...