真在非标准算术模型中的不可定义性-重庆理工大学学报.PDFVIP

重庆理工大学学报（社会科学）　　２０１８年第３２卷第１１期 逻辑与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．３２Ｎｏ．１１２０１８ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１８．１１．００２ 本文引用格式：高珂．真在非标准算术模型中的不可定义性［Ｊ］．重庆理工大学学报（社会科学），２０１８（１１）：１３－２１． Ｃｉｔａｔｉｏｎｆｏｒｍａｔ：ＧＡＯＫｅ．Ｕｎｄｅｆｉｎａｂｉｌｉｔｙｏｆｔｈｅｔｒｕｔｈｉｎｎｏｎｓｔａｎｄａｒｄａｒｉｔｈｍｅｔｉｃｍｏｄｅｌｓ［Ｊ］．ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（Ｓｏｃｉａｌ Ｓｃｉｅｎｃｅ），２０１８（１１）：１３－２１． 主持人语： 中国逻辑学会会长　邹崇理 研究员 　　《真在非标准算术模型中的不可定义性》一文证明了全满足类、归纳部分满足类和归纳Ｔ－集合在可数非标准模型上 的存在性与这个模型的递归饱和性等价，并推广了塔斯基的不可定义性结果，证明了上述集合在可数的非标准算术模型 上都是不可定义的，以及通过科恩脱殊集得到的算术模型的扩张上不存在可定义的归纳部分满足类。文章最后提出了几 个值得进一步研究的问题，值得关注。 《国内逻辑实验室建设策略初步研究》一文，作为一种比较研究，对于我国逻辑实验室建设的策略研究，是有重大意义 的。作者认为，具有鲜明的实践应用属性的逻辑实验室也许是将国内逻辑学研究“救出”纯理论怪圈的一股“奇兵”。这 种关于逻辑学研究融入应用领域的思路令人耳目一新。 真在非标准算术模型中的不可定义性 高　珂 （北京大学 哲学系，北京　１００８７１） 　　摘要：证明全满足类、归纳部分满足类和归纳Ｔ集合在可数非标准模型上的存在性与这个模型的递 归饱和性等价。在此基础上，推广塔斯基的不可定义性结果，证明上述集合在可数的非标准算术模型上 都是不可定义的。讨论这些不可定义集的相对可定义性，证明在通过科恩脱殊集得到的算术模型的扩张 上不存在可定义的归纳部分满足类。 关键词：数理逻辑；非标准算术模型；真语句集；满足类；Ｔ集合；递归饱和性；不可定义性 　　中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１８）１１－００１３－０９ 　　塔斯基的算术真不可定义定理（Ｔａｒｓｋｉ’ｓｔｈｅｏｒｅｍｏｎｔｈｅｕｎｄｅｆｉｎａｂｉｌｉｔｙｏｆａｒｉｔｈｍｅｔｉｃａｌｔｒｕｔｈ）表明一阶算 术真语句集在标准自然数模型上是不可定义的。通过分析证明，可以发现这一结果本质上依赖对角线引 理（ｄｉａｇｏｎａｌｉｚａｔｉｏｎｌｅｍｍａ）的使用。根据哥德尔（Ｇｄｅｌ）的工作，可以将元语言算术化，这样便可以定义更 一般的真语句集。而利用紧致性定理（ｃｏｍｐａｃｔｎｅｓｓｔｈｅｏｒｅｍ）很容易证明除标准自然数模型外，还存在许 多非标准的一阶算术模型。本文将推广塔斯基的结果，证明通过塔斯基Ｔ语句和语义定义构造的真语句 集在可数的非标准算术模型上都是不可定义的。更进一步，这些证明将不依赖于对角线引理，这表明对 于这些真语句集在模型上的不可定义性，对角线性质并不是本质的。在此基础上，最后本文还将讨论这 些真语句集的相对不可定义性。 一、真语句集的定义 令一阶算术语言Ｌ＝｛＋，·，０，１，＜｝，ＰＡ表示皮亚诺算术（Ｐｅａｎｏａｒｉｔｈｍｅｔｉｃ）。根据哥德尔的工作， Ａ 收稿日期：２０１８－０９－１０ 作者简介：高珂，博士研究生，主要从事数理逻辑研究，Ｅｍａｉｌ：ｋｅｇａｏ１９８９＠１６３．ｃｏｍ。 １４ 重庆理工大学学报（社会科学） ｈｔｔｐ：／／ｓｈｋｘ．ｑｋｓ．ｃｑｕｔ．ｅｄｕ．ｃｎ 一阶算术语言中的每个符号、公式、公式序列都有唯一的一个哥德尔编码，用符号??表示，为了表述方 便，一般不区分这些表达式与他们的哥德尔编码。又因为一阶算术语言下的项、句子和公式的编码构成