期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
关于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
Suslin定理的一个推广
3
作者 王培根 《首都师范大学学报(自然科学版)》 1999年第4期17-18,共2页
证明:若r 是一个有单位元的交换环,R= (r) m ,则En( R) 在GLn( R) 内正规.此处 m ≥2 ,n≥2 .
关键词 单位元 初等消法群 交换环 suslin定理 消法矩阵
在线阅读 下载PDF
关于一个由┒SH推导较完善Suslin线存在的证明
4
作者 郑叔雄 《辽宁师范大学学报(自然科学版)》 CAS 1991年第1期18-20,共3页
在文[2]中,有一个内容是由┒SH推出存在较完善Suslin线的定理(ChⅡ.4.4Th).本文指出该定理的证明有一个直接影响证明完整性的失误。并给出一个补充修正,从而完成了该定理的证明。
关键词 集论拓扑 suslin线 可数链条件
在线阅读 下载PDF
赋值环上的Suslin稳定性定理
5
作者 李冬梅 吴漫 刘金旺 《中国科学:数学》 CSCD 北大核心 2023年第4期553-564,共12页
本文证明了赋值环上的Suslin稳定性定理,研究并得到:当n3时,任意赋值环V上的特殊线性群SL_(n)(V[x])可以由该环上初等矩阵群E_(n)(V[x])生成,即SL_(n)(V[x])中每一个矩阵都可以分解成初等矩阵的乘积.进一步证明了,对于任意算术环R,当n3... 本文证明了赋值环上的Suslin稳定性定理,研究并得到:当n3时,任意赋值环V上的特殊线性群SL_(n)(V[x])可以由该环上初等矩阵群E_(n)(V[x])生成,即SL_(n)(V[x])中每一个矩阵都可以分解成初等矩阵的乘积.进一步证明了,对于任意算术环R,当n3时,SL_(n)(R[x])=SL_(n)(R)·E_(n)(R[x]). 展开更多
关键词 suslin稳定性定理 特殊线性群 赋值环 算术环
原文传递
马丁公理的逻辑分析 被引量:1
6
作者 李娜 《河南大学学报(自然科学版)》 CAS 2000年第4期14-16,共3页
讨论公理集合论中马丁公理的若干问题 ,即 :(1)什么是马丁公理 ;(2 )马丁公理的等价命题 ;(3)马丁公理和连续统假设之间的关系 ;(4 )马丁公理在现代数学中的作用 .
关键词 马丁公理 连续统假设 苏斯林树 逻辑分析 集合论
在线阅读 下载PDF
Computation of the Smith Form for Multivariate Polynomial Matrices Using Maple 被引量:2
7
作者 Mohamed Salah Boudellioua 《American Journal of Computational Mathematics》 2012年第1期21-26,共6页
In this paper we show how the transformations associated with the reduction to the Smith form of some classes of mul-tivariate polynomial matrices are computed. Using a Maple implementation of a constructive version o... In this paper we show how the transformations associated with the reduction to the Smith form of some classes of mul-tivariate polynomial matrices are computed. Using a Maple implementation of a constructive version of the Quillen-Suslin Theorem, we present two algorithms for the reduction to a particular Smith form often associated with the simplification of linear systems of multidimensional equations. 展开更多
关键词 SMITH FORM Unimodular EQUIVALENCE Quillen-suslin Theorem MAPLE
在线阅读 下载PDF
Some Topological Properties of Charming Spaces
8
作者 Li Xiao-ting Lin Fu-cai Lin Shou 《Communications in Mathematical Research》 CSCD 2017年第2期110-120,共11页
In this paper, we mainly discuss the class of charming spaces. First, we show that there exists a charming space such that the Tychonoff product is not a charming space. Then we discuss some properties of charming spa... In this paper, we mainly discuss the class of charming spaces. First, we show that there exists a charming space such that the Tychonoff product is not a charming space. Then we discuss some properties of charming spaces and give some characterizations of some class of charming spaces. Finally, we show that the Suslin number of an arbitrary charming rectifiable space is countable. 展开更多
关键词 charming space (i j)-structured space Lindelf Σ-space suslin number rectifiable space
在线阅读 下载PDF
关于SH与ZFC协调的一个简单证明
9
作者 陈练寒 《葛洲坝水电工程学院学报》 1989年第2期81-84,共4页
关键词 suslin问题 叠代力迫法 集合论
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部