排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
陈练寒 《三峡大学学报(自然科学版)》1997,(1)
设计Borel集新的编码,描写了Borel集的结构及编码集。这个编码简化了Solovay关于L测度和谐性的证明,推广了该定理,证明了Con(2F+DC+(X))。 相似文献
2.
Solovay首先假定AD_R与ZF是协调的,然后用内模型的方法证明DC独立于AD。本文进一步探讨AD与相依选择公理之间的关系,我们知道AD蕴涵,但是AC等价于,这里K是阿列夫(Aleph),并且当且仅当, 相似文献
3.
4.
本文讨论菱形原理(◇)和箱原理(□)与Suslin_k树(ST_k)之间的进一步关系。得到 GCH+□k→存在不同构完全正规ST_k+。这里,cf(a)<,K正则(本文记号和术语参见文献[1—4])。 相似文献
5.
陈练寒 《北京师范大学学报(自然科学版)》1992,28(1):10-14
在公理集合论中,Suslin树(ST)是树中的重点,Jech运用ST证明了著名的Suslin问题的独立性.本文进一步探讨了Suslin树,证明了在Jech的模型M[Ω]中存在着一串逐个包含的ST的ω_1序列,它们的可数交仍是ST,这里Ω是正规完全的二枝ST,并把Jech M[Ω]2=1(不管2在M中的大小)的结果推广到更为广泛的ST. 相似文献
6.
7.
陈练寒 《三峡大学学报(自然科学版)》1999,(2)
Cantor定理的证明,除了对角线法外,其他所有证明实质上都类同于Takeuti在1982年给出的证法现应用共尾数和不可达基数给出了新的证法,这个证法不同于以往各种证明 相似文献
1