钻石原则

钻石原则)是由罗纳德·詹森英语Ronald JensenJensen (1972)引入的组合原理,它适用于哥德尔可构造全集英语Gödel's constructible universeL)并暗示了连续统假设。罗纳德·詹森在证明中提取了钻石原理,即constructibility公理英语Axiom of constructibilityV = L)意味着存在苏斯林树英语Suslin tree


定义

参见

参考文献