论文部分内容阅读
致力于研究Chang氏模型C与所有集合的类V之间的协调性关系.证明了V=C≠L和V≠C≠L都分别和ZFC集合论系统协调(其中,L是Godel可构成类).进而,我们研究了ω-Suslin树和ω1-Kurepa树在C中的存在性.证明了,模型C中存在这种树是协调的,不管V中是否存在这种树.
有关模型C的若干协调性结果
【摘 要】
：
致力于研究Chang氏模型C与所有集合的类V之间的协调性关系.证明了V=C≠L和V≠C≠L都分别和ZFC集合论系统协调(其中,L是Godel可构成类).进而,我们研究了ω-Suslin树和ω1-Kure
【机 构】
：
郑州铁路职业技术学院,许昌职业技术学院
【出 处】
：
河南师范大学学报：自然科学版
【发表日期】
：
2005年3期
其他文献
研究了在定时截尾试验下，对指数分布的试验给出了检验问题：θ=θu对θ=θ1，θ1〉θ0，并依据最小风险准则，给出了此问题的Bayes判别方法．
给出了一类具有分数次积分性质的次线性算子在Herz型Hardy 空间上的有界性质,特别地给出了在端点处的弱型估计.
20世纪末期,苏联东欧国家断送了社会主义.中国共产党顶住了强大的压力,保持和巩固了无产阶级政权,并在中国特色社会主义建设的伟大实践中取得了巨大成就.沿着历史的脉络探寻
酵母菌的厌氧发酵机制是微生物发酵机理的重要内容之一。然而,目前教材编排仍主要以产品进行分类,且代谢流过于复杂,使知识晦涩难懂。本研究以酵母菌为主旨,简明扼要地汇总分
余三定是较早从事中国当代学术史研究且卓有成效的学者之一。他在20世纪90年代初即以“学术自觉和学者自立”为题进行最基础的学术史研究。其后。以《云梦学刊》为平台，多方面
借助于历史哲学的分析,人类社会形态演进分为四个阶段:原始氏族公有制社会,土地占有制社会,资本占有制社会和世界(全球)公有制社会.中国只能通过有中国特色的社会主义道路,完
中文命名实体识别方法中采用较多的是神经网络模型,但该模型在训练过程中存在字向量表征过于单一的问题,无法很好地处理字的多义性特征。因此,提出一种基于Bert-BLSTM-CRF模
20世纪初人类才开始注意到生态环境对其权利的影响，今日可持续发展的价值观已成为环境法的价值基础，并催生了森林环境权。森林环境权是对环境权的细化。森林环境权有自己的特征和内容，可持续发展和森林环境权密不可分。生存权和发展权理论是其最根本的理论支撑。