刻度和K(R)的细微结构。第一部分：实数范围内的可接受性
摘要：确定内部模型$K(\mathbb{R})$中尺度的最小复杂性是本系列三篇论文的第一部分。在第一部分中，我们将完成对$K(\mathbb{R})$的微结构理论的发展，这对我们在第二部分和第三部分的工作非常重要。特别地，我们证明了以下支持我们对$K(\mathbb{R})$中尺度分析的基本定理：如果$\mathcal{M}$是可迭代的实预鼠标，那么$\mathcal{M}$在实数之上是可接受的。这个定理将在第二部分和第三部分中用于解决在$K(\mathbb{R})$中找到最简单尺度的问题。
作者：D. W. Cunningham
论文ID：math/0605445
分类：Logic
分类简称：math.LO
提交时间：2007-05-23