真在非标准算术模型中的不可定义性

• 作者: 高珂
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 数理逻辑 非标准算术模型 真语句集 满足类 T-集合 递归饱和性 不可定义性
• 年，卷（期）: 2018,（11）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 13-21
• 页数: 9页
• 分类号: B81
• 字数: 8375字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2018.11.002

摘要

证明全满足类、归纳部分满足类和归纳T-集合在可数非标准模型上的存在性与这个模型的递归饱和性等价.在此基础上,推广塔斯基的不可定义性结果,证明上述集合在可数的非标准算术模型上都是不可定义的.讨论这些不可定义集的相对可定义性,证明在通过科恩脱殊集得到的算术模型的扩张上不存在可定义的归纳部分满足类.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高珂	北京大学哲学系	2	0	0.0	0.0