K（R）的尺度和精细结构。第一部分：高于现实的可接受性
Scales and the fine structure of K(R). Part I: Acceptability above the reals
摘要：
这篇文章是一系列三篇论文中的第一部分，致力于确定内部模型$K(\mathbb{R})$中尺度的最小复杂性。在这里，在第一部分中，我们将完成我们对$K(\mathbb{R})$的精细结构理论的发展，这对我们在第二部分和第三部分中的工作是必不可少的。特别是，我们证明了以下基本定理，支持我们的分析尺度在$K(\mathbb{R})$：如果$\mathcal{M}$是一个可迭代的真正premouse，那么$\mathcal{M}$是可接受的以上的reals。这个定理将在第二部分和第三部分中用来解决在$K(\mathbb{R})$中寻找最小复杂度尺度的问题。
英文摘要：
This article is Part I in a series of three papers devoted to determining the minimal complexity of scales in the inner model $K(\mathbb{R})$. Here, in Part I, we shall complete our development of a fine structure theory for $K(\mathbb{R})$ which is essential for our work in Parts II and III. In particular, we prove the following fundamental theorem which supports our analysis of scales in $K(\mathbb{R})$: If $\mathcal{M}$ is an iterable real premouse, then $\mathcal{M}$ is acceptable above the reals. This theorem will be used in Parts II and III to solve the problem of finding scales of minimal complexity in $K(\mathbb{R})$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
