| 菱形性质◇的推广 |
| |
| 引用本文： | 李山林,杨慧.菱形性质◇的推广[J].南京大学学报(自然科学版),2006,23(1):88-97. |
| |
| 作者姓名： | 李山林 杨慧 |
| |
| 作者单位： | 许昌职业技术学院，郑州铁路职业技术学院 许昌 461100，郑州 450052 |
| |
| 摘 要： | 本文把集合论中著名的菱形性质◇做了两种推广,即(?)和(?)．用力迫方法证明了它们分别相对于ZFC协调．还证明了,(?)在Godel可构成模型L中也成立。
|
| 关 键 词： | 菱形性质 力迫方法 协调性 |
| 修稿时间： | 2004年12月12 |
GENERALIZATIONS OF THE DIAMOND PROPERTY ◇ |
| |
| Li Shanlin,Yang Hui.GENERALIZATIONS OF THE DIAMOND PROPERTY ◇[J].Journal of Nanjing University: Nat Sci Ed,2006,23(1):88-97. |
| |
| Authors: | Li Shanlin Yang Hui |
| |
| Abstract: | In this paper, the consistencies of (?) and (?)are investigated, where (?) and (?) are the generalizations of the diamond statement. Applying forcing method, we show that both are consistent with ZFC, respectively. Moreover, it is proved that (?)holds in Godel's constructible universe L. |
| |
| Keywords: | the diamond property forcing consistency |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
