Before one can construct scales of minimal complexity in the Real Core Model, K(R), one needs to develop the fine-structure theory of K(R). In this paper, the fine structure theory of mice, first introduced by Dodd and Jensen, is generalized to that of real mice. A relative criterion for mouse iterability is presented together with two theorems concerning the definability of this criterion. The proof of the first theorem requires only fine structure; whereas, the second theorem applies to real mice satisfying AD and follows from a general definability result obtained by abstracting work of John Steel on L(R). In conclusion, we discuss several consequences of the work presented in this paper relevant to two issues: the complexity of scales in K(R) and the strength of the theory ZR + AD + -DC_R.
展开▼
机译：在人们可以用Real Core Model K（R）构建最小复杂度的尺度之前，需要发展K（R）的精细结构理论。在本文中，由多德（Dodd）和詹森（Jensen）首次提出的小鼠精细结构理论被推广到了真实小鼠的精细结构理论。给出了鼠标可迭代性的相对标准，以及有关该标准定义的两个定理。第一定理的证明只需要精细的结构;然而，第二定理适用于满足AD的真实小鼠，并且是根据John Steel在L（R）上的抽象工作获得的一般可定义性结果得出的。总之，我们讨论了本文提出的与两个问题相关的工作的几种后果：K（R）中标度的复杂性和ZR + AD + -DC_R理论的强度。
展开▼
