GCH+□_K蕴含存在不同构的完全正规ST_K+

原文传递

导出

摘要本文讨论菱形原理(◇)和箱原理(□)与Suslin_k树(ST_k)之间的进一步关系。得到 GCH+□k→存在不同构完全正规ST_k+。这里,cf(a)<,K正则(本文记号和术语参见文献[1—4])。

作者陈练寒

机构地区葛州坝水利学院基础部

出处《科学通报》 EI CAS CSCD 北大核心 1990年第22期1704-1706,共3页 Chinese Science Bulletin

关键词布尔值模型菱形原理箱原理力迫

1沈恩绍.有限弱力迫的布尔值模型表示[J].北京师范大学学报（自然科学版）,1990,26(3):9-17.
2朱慧灵,郑馥丹.关于单纯力迫和可数力迫的构造性阐述（英文）[J].四川师范大学学报（自然科学版）,2017,40(1):18-21. 被引量：1
3潘字晟.避免迭代力迫为真类的处理方法[J].科教导刊,2012(18):137-137.
4李娜.Forcing with Proper Classes[J].Chinese Quarterly Journal of Mathematics,1996,11(4):50-53.
5李娜.公理系统的布尔值模型[J].河南大学学报（自然科学版）,1998,28(2):37-42. 被引量：1
6李娜.公理系统GB的布尔值模型[J].河南大学学报（自然科学版）,1989,19(4):53-57. 被引量：1
7武妍,马保国,艾姣,吴利飞.Lω-空间的ω-完全正规分离性[J].延安大学学报（自然科学版）,2011,30(1):4-5.
8陈练寒.关于Suslin树的两个结果[J].北京师范大学学报（自然科学版）,1992,28(1):10-14.
9李娜.GB的布尔值模型[J].科学通报,1990,35(1):16-18. 被引量：8
10李娜.聚合公理系统COG的布尔值模型[J].河南大学学报（自然科学版）,1993,23(2):39-42. 被引量：4

科学通报

1990年第22期

浏览历史

内容加载中请稍等...