初段的可定义性
摘要：非标准Peano算术模型中标准部分{0,1,...}的隐式可定义性研究，问是否存在一个PA模型，其中标准部分是隐含可定义的。在第一节中，我们定义了一类特定的公式，并且证明在任何PA模型中，不能使用这样的公式隐含地定义标准部分。在第二节中，我们构建了一个标准部分隐式可定义的PA模型。为了构建这样的模型，首先我们假设了一个集合论假设diamondsuit\_{S\_lambda^{lambda^+}}，它是对于存在一个非常普遍的集合的断言。然后我们将使用对于具有某种性质的树结构模型的存在的绝对性来消除该假设。
作者：Saharon Shelah and Akito Tsuboi
论文ID：math/0104277
分类：Logic
分类简称：math.LO
提交时间：2007-05-23