赵希顺
- 作品数：9 被引量：1H指数：1
- 供职机构：河南师范大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金国家杰出青年科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- ^（＜k）2上的稳定集的分割
- 1994年
- 在文［１］中，我们把无界闭集和稳定集的概念推广到了结构＜￣（＜ｋ）２，△＞上，本文把稳定集的一些分割性质推广到了＜￣（＜ｋ）２，△＞上。
- 赵希顺
- 关键词：稳定集
- 模型N=∪{L[A]:AìO_n可数}中的大基数
- 1990年
- 在文献[2]中,C.Sureson定义并研究了模型N.本文证明了下面结论:假设NZF,则(i) 如果又是弱紧基数,那么它在N中也是弱紧的.(ii) 如果λ是难形容的,那么它在N中也是难形容的.(iii) 如果V=N,则不存在可测基数.
- 赵希顺
- 模型C中的(2^(ω_0))^+-树
- 1990年
- 对于任序数α,归纳定义C_α如下: C_0=φ; C_(α+1)=Def_1(C_α); λ为极限序数。
- 赵希顺
- ω_2-Aronszajn树与Martin公理
- 1991年
- 本文用正常力迫方法证明了:如果ZFC与存在弱紧基数协调则ZFC与不存在ω_2-Aronszajn树加马丁公理也协调。
- 赵希顺
- 模糊集的超积及其应用
- 1991年
- 本文把通常的超积方法推广到了模糊集合上.定义了模糊超积并讨论了它的若干性质.最后利用模糊超积方法考察了模糊偏序的扩张问题.
- 赵希顺王雪生
- 关键词：模糊集
- 无穷发散项与易项被引量：1
- 1995年
- <正>本文研究一类易项的归约性质.关于本文记号和基本概念,请参考文献[1～3].本文均是在λη系统中进行推理,当写M=N时,意指λη+M=N.文献[2]中证明了,Ω≡(λχ.χχ)(λχ.χχ)是易项.黄目园等证明了,所有U循环项都是易项.设W∈Λ~0(Λ~0为闭λ项的全体),记F(W)={P:W(?)P}.
- 赵希顺蒋颖王驹
- 关键词：计算机
- ^(<k)2上的无界闭集
- 1993年
- 本文引进了^(
- 赵希顺
- 关键词：稳定集滤子
- 关于P—point与■_(1)-scale的个数
- 1990年
- 本文考察P-Point与_1-scale的个数,证明了下面结论:(ⅰ)如果CH或MA成立,则至少存在2^(_0)多个P-point,(ⅱ)“存在2^(_1)多个_1-scale”是协调的。
- 赵希顺秦克云
- UNITY逻辑中关于unless的若干结果
- 1998年
- 本文的工作主要分为两部分．首先，我们把验证ｐｕｎｌｅｓｓｑ是否是ＵＮＩＴＹ逻辑的定理转化为一阶定理的验证．其次，设ｐ１ｕｎｌｅｓｓｑ１，…，ｐｎｕｎｌｅｓｓｑｎ在一ＵＮＩＴＹ程序Ｆ中成立．我们把验证ｐｕｎｌｅｓｑ在Ｆ中成立是否可由以上ｎ个性质得出转化为强推出的验证，其中强推出是本文引进的新概念．
- 赵希顺申培萍
- 关键词：UNLESS
