搜索结果: 1-3 共查到“理学 proper forcing axiom”相关记录3条 . 查询时间(0.093 秒)
THE PROPER FORCING AXIOM,PRIKRY FORCING,AND THE SINGULAR CARDINALS HYPOTHESIS
FORCING AXIOM PRIKRY FORCING SINGULAR CARDINALS
2015/8/17
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form of simultaneous refl...
The Proper Forcing Axiom
Forcing axiom Martin’s Axiom OCA Open Coloring Axiom PID P-ideal Dichotomy proper forcing PFA
2015/8/17
The Proper Forcing Axiom is a powerful extension of the Baire Category Theorem which has proved highly effective in settling mathematical statements which are independent of ZFC. In contrast to the Co...
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...