搜索筛选:
搜索耗时0.1056秒,为你在为你在102,285,761篇论文里面共找到 10 篇相符的论文内容
类      型:
[期刊论文] 作者:陈练寒,, 来源:三峡大学学报(自然科学版) 年份:2001
用描述集论的方法证明了连续统假设 ,这个证明不同于其它的方法...
[期刊论文] 作者:陈练寒, 来源:葛洲坝水电工程学院学报 年份:1989
[期刊论文] 作者:陈练寒, 来源:葛洲坝水电工程学院学报 年份:1989
[期刊论文] 作者:陈练寒, 来源:武汉水利电力大学(宜昌)学报 年份:1997
设计Borel集新的编码,描写了Borel集的结构及编码集。这个编码简化了Solovay关于L测度和谐性的证明,推广了该定理,证明了Con(2F+DC+(x))。......
[期刊论文] 作者:陈练寒, 来源:三峡大学学报:自然科学版 年份:1985
本文对无穷树进行了探讨,构造了另一类Suslin树,并且利用这种ST较简单地证明了SH的独立性及其有关的定理,同时推出了一些新的结论。定义,一个部分序集(T,≤)是一棵树,如果对于...
[期刊论文] 作者:陈练寒, 来源:武汉水利电力大学(宜昌)学报 年份:1998
先介绍AC独立于ZF,然后研究AD、DCK、ACK和WK之间的关系。...
[期刊论文] 作者:陈练寒, 来源:武汉水利电力大学(宜昌)学报 年份:1999
Cantor定理的证明,除了对角线法外,其他所有证明实质上都类同于Takeuti在1982年给出的证法,现应用共尾数和不可达基数给出了新的证法,这个证法不同于以往各种证明。......
[期刊论文] 作者:陈练寒, 来源:北京师范大学学报:自然科学版 年份:1992
在公理集合论中,Suslin树(ST)是树中的重点,Jech运用ST证明了著名的Suslin问题的独立性.本文进一步探讨了Suslin树,证明了在Jech的模型M[Ω]中存在着一串逐个包含的ST的ω_1...
[期刊论文] 作者:陈练寒, 来源:科学通报 年份:1990
本文讨论菱形原理(◇)和箱原理(□)与Suslin_k树(ST_k)之间的进一步关系。得到 GCH+□k→存在不同构完全正规ST_k+。这里,cf(a)...
[期刊论文] 作者:陈练寒,王京新,彭澎, 来源:葛洲坝水电工程学院学报 年份:1996
本文拟用离散数学模型即数论的方法解释优选法,得到离散型优选法。运用该法得到数论中一般性问题的又一特例;改进了秦九韶方法;同时推出该法是求形式如anx^n+an-1x^n-1+…+a1x+n!=0的整系数方程整数解的最......
相关搜索: