搜索结果: 1-1 共查到“数理逻辑与数学基础 consistency strength”相关记录1条 . 查询时间(0.046 秒)
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...