模型论力迫法在代数中的一个应用

来源 :长江大学学报自然科学版:理工(上旬) | 被引量 : 0次 | 上传用户:s5df45sd6546f
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
力迫法是公理集合论研究中构造扩充模型的一种重要方法。首先用力迫法对相关文献中的定理进行了推广,而后给出了代数封闭除环的概念,并通过给出的概念用模型论力迫法证明了每个可数除环A都可扩张为一个可数的代数封闭除环。
其他文献
针对三峡库区万州地质灾害发生情况,总结归纳了滑坡、危岩的现有监测技术与方法,选择合理监测内容,开发监测终端设备,采用“物联网”技术和C/S架构,将不同监测仪器进行集成,形成了一
2004年9月~2005年7月,我院采用经腹膜后腹腔镜下肾囊肿去顶术治疗单纯性肾囊肿13例,效果满意。现将手术配合体会报告如下。
环境保护脱离不了环境信息的采集、处理和应用,GIS技术作为一种便捷有效的时空数据管理和处理手段,已经应用于环境评价、环境监测、水环境管理以及环境应急预警预报等领域。以泉州市环保局官方网站的环境信息共享平台,公布的全市60多家重点污染企业的监测统计数据为基础,基于wedges平台ArcGIS Server 10,采用B/S结构构建泉州市重点污染源管理系统,实现重点污染源的空间信息管理、查询与分析,区
目的:比较稳心颗粒和胺碘酮治疗室性心律失常的疗效和不良反应。方法:将118例室性心律失常患者随机分为治疗组68例和对照组50例,治疗组采用稳心颗粒治疗,对照组采用胺碘酮治疗,