搜索结果: 1-2 共查到“公理集合论 Consistency”相关记录2条 . 查询时间(0.05 秒)
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...
A Consistency Proof for Some Restrictions of Tait's Reflection Principles
Consistency Proof Restrictions Tait's Reflection Principles
2010/12/9
In [4] Tait identifies a set of reflection principles which he calls (2)n -reflection
principles which Peter Koellner has shown to be consistent relative to an Erd¨os cardinal
(!) in [1].