K-Suslin树同ZF+┐AC的协调性问题

来源 :河南师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:somlist
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究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。该问题的证明过程中主要采用了力迫法。
其他文献
介绍研制的煤矿变电站实时监控系统的组成和工作原理。该系统可在煤矿变电站实现数据采集,图表显示,报表打印,曲线图形生成,历史记录存贮以及事故综合处理等功能。工业现场监
企业集团公司从事着跨行业、跨地域的多元化经营,资本实力相对于单一企业来说更为雄厚,但就企业集团自身而言,大多数集团公司总体效益不高,在短期内还无法依靠税后盈余来获得自身
介绍转载机机头液控调高装置,在综采面的使用情况。叙述其工作原理及制作过程,安装时的注意事项。通过与转载机自移系统、可伸缩带式输送机机尾自移装置及液压调偏装置相配套使
本文以贝纳特对流和三分于模型为例,论证当耗散结构形成时,系统的熵不是减小,而是增大。并对耗散结构形成的机制作初步设想。
以ANSYS软件为工具,结构自重为优化目标,强度、刚度为约束条件,对汽车起重机的吊臂进行了有限元优化设计,为起重机吊臂的设计和改造提供了理论依据.
兖州矿业(集团)公司济宁三号煤矿针对矿中央变电所KYGC—Z型高压开关柜在使用中暴露的问题,例如机械定位机构设计不合理、选用器件质量较差、开关柜母线为敞开式、继电保护采用G
用螺纹联接的2个零件,在紧固后要求具有一定角向位置关系,对此类零件上的螺纹在加工时起始点位置进行了研究和确定,为类似的螺纹联接件加工提供了方法。
南方电网公司通过构建空间360°全方位的一环、三化、五支撑内部控制体系,将内控体系内控流程标准、权限标准和内控措施与业务管理全面整合,实现内控与业务管理高度融合。通
用以BRS不变性为基础的标准规范固定过程,在自由情况下由HIKKO理论的规范协变作用量首次导出了Siegel规范固定BRS协变的作用量。
氢能,作为公认的清洁二次能源,其开发利用得到了世界范围内的高度关注。21世纪以来,氢能的开发利用步伐逐渐加快,尤其是日本和欧美等发达国家,都将氢能列为国家能源体系中的