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