[论文解读] Satisfaction classes in nonstandard models of first-order arithmetic

Fredrik Engström|arXiv (Cornell University)|Sep 30, 2002

Mathematical and Theoretical Analysis被引用 6

一句话总结

本文提出了一套针对一阶算术非标准模型中满足类的改进框架，通过引入函数符号的语言将塔斯基的真值定义扩展至非标准公式。研究证明：可数PA模型存在完整满足类当且仅当其为递归饱和；并引入了新颖的自由满足类概念，以消除对非标准项存在性的假设，同时分析了病态现象，并提出逻辑扩展以强化真值定义。

ABSTRACT

A satisfaction class is a set of nonstandard sentences respecting Tarski's truth definition. We are mainly interested in full satisfaction classes, i.e., satisfaction classes which decides all nonstandard sentences. Kotlarski, Krajewski and Lachlan proved in 1981 that a countable model of PA admits a satisfaction class if and only if it is recursively saturated. A proof of this fact is presented in detail in such a way that it is adaptable to a language with function symbols. The idea that a satisfaction class can only see finitely deep in a formula is extended to terms. The definition gives rise to new notions of valuations of nonstandard terms; these are investigated. The notion of a free satisfaction class is introduced, it is a satisfaction class free of existential assumptions on nonstandard terms. It is well known that pathologies arise in some satisfaction classes. Ideas of how to remove those are presented in the last chapter. This is done mainly by adding inference rules to M-logic. The consistency of many of these extensions is left as an open question.

研究动机与目标

• 为一阶算术非标准模型中的满足类构建一个全面的框架，尤其关注含有函数符号的语言。
• 阐明完整满足类存在的条件，证明在可数模型中其存在性等价于递归饱和。
• 引入并分析自由满足类，其避免了对非标准项存在的存在性假设。
• 通过提出包含推理规则的逻辑扩展，解决满足类中的病态现象（如“恒真析取式”），例如 $0 \neq 0$ 的析取。
• 研究扩展逻辑（如 $\mathfrak{M}$-逻辑与模板逻辑）的一致性与结构，以构建行为良好的满足类。

提出的方法

• 通过公式对与模型元素的配对重新表述满足类，确保真值定义尊重塔斯基归纳定义对非标准公式的适用性。
• 引入 $\mathfrak{M}$-逻辑作为生成满足类的形式系统，具备证明论高度与保真性性质。
• 建立 $\mathfrak{M}$-逻辑与模板逻辑之间的联系，通过模型论构造证明一致性结果。
• 将自由满足类定义为无需假设 $\exists x(t=x)$ 对非标准项为真的满足类，从而实现更自然的真值定义。
• 提出对 $\mathfrak{M}$-逻辑的扩展，加入推理规则，使其在命题逻辑与谓词逻辑下封闭，旨在消除病态现象。
• 利用递归饱和与可伸展性构造满足类存在且满足所需封闭性质的模型。

实验结果

研究问题

• RQ1 在何种条件下，可数PA模型会存在一个完整满足类？
• RQ2 能否构造出避免对非标准项存在性作假设的自由满足类？
• RQ3 在任意可数递归饱和PA模型中，是否存在对非标准命题逻辑或一阶可证性封闭的满足类？
• RQ4 对 $\mathfrak{M}$-逻辑的扩展（使其在命题或谓词逻辑下封闭）的一致性状态如何？
• RQ5 是否能通过模板逻辑或自由 $\mathfrak{M}$-逻辑等逻辑系统完全刻画满足类的结构？

主要发现

• 可数PA模型存在完整满足类当且仅当其为递归饱和，推广了科特拉斯基、克赖夫斯基与拉赫兰的经典结果。
• 本文提出一种新颖且可适应的满足类构造方法，适用于含有函数符号的语言，将项视为满足类仅能‘有限深度’检查的对象。
• 引入自由满足类作为标准满足类的更自然替代，避免了对非标准项存在性的假设。
• 研究表明 $\mathfrak{M}$-逻辑在一般情况下不一致，但可通过与模板逻辑的联系及模型论语义建立其一致性。
• 通过向 $\mathfrak{M}$-逻辑中加入适当的推理规则，可排除病态公式（如 $0 \neq 0$ 的恒真析取式）。
• 证明了存在满足类使得非标准迭代后继项等于任意非标准常量，展示了该框架的表达能力。