Scales of minimal complexity in \({K(\mathbb{R})}\) (Q412055)

This paper is a contribution to the ongoing project to extend the inner model \( L ( \mathbb{R} ) \) and the analysis of its fine structure to the real core model, that is the model \( K ( \mathbb{R} ) \). Inner models such as \( L ( \mathbb{R} ) \) play a crucial role in gauging the strength of the determinacy assumptions at hand. The real core model \( K ( \mathbb{R} ) \), introduced by the author in [Ann. Pure Appl. Logic 72, No. 3, 213--289 (1995; Zbl 0828.03025)], is an extension of \( L ( \mathbb{R} ) \) pretty much like the Dodd-Jensen core model \( K \) is an extension of \( L \), with \( \mathbb{R}^\# \) playing the role of \( 0^\# \). Just like \( L ( \mathbb{R} ) \), the descriptive set theory of \( K ( \mathbb{R} ) \) is civilized by the axiom of determinacy, and by the existence of definable scales. The existence of definable scales for a pointclass \( \Gamma \), or equivalently, Suslin's representation for sets in \( \Gamma \), is a highly desirable feature in descriptive set theory since it yields uniformization for \( \Gamma \), which is the definable version of \( \mathsf{AC} \) for such pointclass. In this paper, the author extends Steel's analysis of the scales in \( L ( \mathbb{R} )\) [\textit{J. R. Steel}, Lect. Notes Math. 1019, 107--156 (1983; Zbl 0529.03028)] to the real core model obtaining a complete description of the levels where the scale property holds.