论文部分内容阅读
证明全满足类、归纳部分满足类和归纳T-集合在可数非标准模型上的存在性与这个模型的递归饱和性等价。在此基础上,推广塔斯基的不可定义性结果,证明上述集合在可数的非标准算术模型上都是不可定义的。讨论这些不可定义集的相对可定义性,证明在通过科恩脱殊集得到的算术模型的扩张上不存在可定义的归纳部分满足类。
真在非标准算术模型中的不可定义性
【摘 要】
：
证明全满足类、归纳部分满足类和归纳T-集合在可数非标准模型上的存在性与这个模型的递归饱和性等价。在此基础上,推广塔斯基的不可定义性结果,证明上述集合在可数的非标准算
【机 构】
：
北京大学哲学系,北京,100871
【出 处】
：
重庆理工大学学报（社会科学版）
【发表日期】
：
2018年11期
其他文献
【摘要】专用汽车是指装备有专用设备，具备专用功能，用于承担专门运输任务或专项作业以及其他专项用途的汽车。 本文通过对国内外和梁山县专用汽车发展现状的研究，分析了梁山县专用汽车产业面临的问题，进而提出相应的发展对策。 【关键词】专用汽车 梁山县 发展现状 对策建议 一、专用汽车产业发展的现状 （一）专用汽车的定义 国内：按照国家标准GB/T17350-2009（《专用汽车和专用挂车术语代号
随着云南桥头堡战略的深入实施以及“孟中印缅”经济走廊建设的逐步推进，官渡区的经济取得了跨越式发展。但是，在经济发展步入快车道的同时，财政收支矛盾也日益凸显。自2007年以来，全区税收收入逐年递增，但增速却逐年放缓，由于缺乏新的收入增长点，税收收入后续增长动力不足。为保证年度财政收入目标任务的顺利完成，地方政府不得不加大对非税收入的征缴力度，非税收入也成为了地方政府财政增收的最直接、最有效、最简便的
期刊
【摘要】在经济新常态和“一带一路”国家战略宏观经济运行环境下，总结昆明区域性国际金融中心、沿边金融综合改革试验区、昆明泛亚金融产业中心园区“一心两区”建设的阶段性成效，分析当前所面临的问题，开拓进取、改革创新，在分析问题的过程中寻求解决问题的对策与建议，为实现云南经济腾飞和跨越式发展产生一定的积极作用。 【关键词】“一带一路” “一心两区” 实践成效 困境分析 对策建议 在“一带一路”国家战略
2014年9月，银监会、财政部、人民银行联合发布《关于加强商业银行存款偏离度管理有关事项的通知》，明确商业银行月末存款偏离度不得超过3%，并提出八条禁令，防止银行违规吸收和虚
期刊
目的:分析聚乙二醇干扰素α-2a联合乙肝疫苗治疗慢性乙型肝炎的疗效观察.方法:选取我站收治的慢性乙型肝炎患者30例作为研究对象.将30例患者随机分为两组,实验组患者有15例,
2015年11月,中央财经领导小组会议上,习近平提出,要“在适度扩大总需求的同时,着力加强供给侧结构性改革”;在G20峰会、APEC会议上,习近平则将“重视供给端和需求端协同发力
期刊
对143例贲门癌和5例食管下段癌累及贲门的病例采用改良“隧道式”食管胃吻合法,效果满意,术后无1例早期死亡和吻合口瘘,吻合口狭窄和反流性食管炎各1例.术后通过了解病人自觉
2016年2月17日至18日,兵团党委六届十五次全委(扩大)会议在乌鲁木齐召开事件2016年,是“十三五”灿烂开启之年,也注定是兵团人砥砺奋进、再开新篇的一年。为更好总结“十二五
期刊