论文部分内容阅读
证明全满足类、归纳部分满足类和归纳T-集合在可数非标准模型上的存在性与这个模型的递归饱和性等价。在此基础上,推广塔斯基的不可定义性结果,证明上述集合在可数的非标准算术模型上都是不可定义的。讨论这些不可定义集的相对可定义性,证明在通过科恩脱殊集得到的算术模型的扩张上不存在可定义的归纳部分满足类。
真在非标准算术模型中的不可定义性
【摘 要】
：
证明全满足类、归纳部分满足类和归纳T-集合在可数非标准模型上的存在性与这个模型的递归饱和性等价。在此基础上,推广塔斯基的不可定义性结果,证明上述集合在可数的非标准算
【机 构】
：
北京大学哲学系,中国逻辑学会
【出 处】
：
重庆理工大学学报：社会科学
【发表日期】
：
2018年11期
其他文献
作为习近平新时代中国特色社会主义思想的重要组成部分,习近平新闻舆论思想是马克思主义新闻观中国化的最新成果。本文按时间顺序,分三个阶段对十八大以来关于习近平新闻舆论
本文利用MATLAB优化工具箱,以圆柱齿轮传动的体积最小作为目标函数,进行了圆柱齿轮传动的结构优化设计,最终得到了满足设计要求的圆柱齿轮传动的结构参数。
目的：是观察舒适护理在行腰椎穿刺术患者的应用效果。方法：以2009年5月--2011年11月我院174例行腰椎穿刺术患者为研究对象，随机分为试验组87例，应用舒适护理，对照组87例实施普通护
随着经济的飞速发展和科学技术的不断进步，土木工程的施工技术相对于传统的技术作业方式有了较大的突破和发展，施工技术的创新对整个建筑完成的成功与否十分重要，各建筑企业应该
本文结合工程实例,归纳施工过程中的高大模板支撑体系施工安全控制,进一步从搭设材料、结构构造和施工工艺、人员作业因素和技术管理因素等方面进入深入分析,为今后遇到类似
严格按照正确、完整的检测流程对建材进行质量检测，可以对建筑材料的优劣程度做出一个完善的分析，通过对数据的处理，发现建筑材料存在怎样的问题，及时处理，避免建筑工程出现质量问
为了解决松软煤层巷道大变形的数学计算问题,首先介绍了岩体变形计算的数学理论,并以某煤矿松软煤层综采工作面两巷为研究对象,主要研究了不同支护方式对巷道的支护效果,根据
基于Kaya恒等式,采用LMDI分解方法建立重庆能源消费碳排放因素分解模型,实证分析1997—2016年重庆人口、经济发展、能源消费结构、产业结构、能源强度对能源消费碳排放的影响
既然行政强制措施是对人身自由或财物的暂时性限制,那么它就对公民具有某种损害性,在实践中行政机关应当谨慎采取,在理论上也应该进一步厘清行政强制措施可能存在的违法变异