期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
关于Suslin树的两个结果
1
作者 陈练寒 《北京师范大学学报（自然科学版）》 CAS CSCD 1992年第1期10-14,共5页
在公理集合论中,Suslin树(ST)是树中的重点,Jech运用ST证明了著名的Suslin问题的独立性.本文进一步探讨了Suslin树,证明了在Jech的模型M[Ω]中存在着一串逐个包含的ST的ω_1序列,它们的可数交仍是ST,这里Ω是正规完全的二枝ST,并把Jech... 在公理集合论中,Suslin树(ST)是树中的重点,Jech运用ST证明了著名的Suslin问题的独立性.本文进一步探讨了Suslin树,证明了在Jech的模型M[Ω]中存在着一串逐个包含的ST的ω_1序列,它们的可数交仍是ST,这里Ω是正规完全的二枝ST,并把Jech M[Ω]2=1(不管2在M中的大小)的结果推广到更为广泛的ST. 展开更多
关键词 suslin树 二枝树 完全正规 力迫法
在线阅读 下载PDF
K-Suslin树同ZF+┐AC的协调性问题
2
作者 阎林 《河南师范大学学报（自然科学版）》 CAS CSCD 1992年第3期135-139,共5页
本文研究K—Suslin树(K>ω_1)同ZF+┐AC的相对协调性问题。证明了这样的结论:“存在K—Suslin树+ZF+┐AC”(K>ω_1且为后继基数)相对于ZF系统是协调的。证明方法是在ZFC的一个可数传递模型M(M中存在K—Suslin树T)和其generic扩张M... 本文研究K—Suslin树(K>ω_1)同ZF+┐AC的相对协调性问题。证明了这样的结论:“存在K—Suslin树+ZF+┐AC”(K>ω_1且为后继基数)相对于ZF系统是协调的。证明方法是在ZFC的一个可数传递模型M(M中存在K—Suslin树T)和其generic扩张M[G]之间构造一个模型N,即M(?)N(?)M[G],使得在N中T仍为K—Suslin树且N(?)+ZF+┐AC,于是便有N(?)存在K—Suslin树+ZF+┐AC。该问题的证明过程中主要采用了力迫法。 展开更多
关键词 K-suslin树 可数传递模型 ZFC
在线阅读 下载PDF
马丁公理的逻辑分析 被引量：1
3
作者 李娜 《河南大学学报（自然科学版）》 CAS 2000年第4期14-16,共3页
讨论公理集合论中马丁公理的若干问题 ,即 :(1)什么是马丁公理 ;(2 )马丁公理的等价命题 ;(3)马丁公理和连续统假设之间的关系 ;(4 )马丁公理在现代数学中的作用 .
关键词 马丁公理 连续统假设 苏斯林树 逻辑分析 集合论
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部