The real core model and its scales (Q1892098)

This paper generalizes the theory of the core model \(K\) of Dodd and Jensen to the core model over the reals, \(K(\mathbb{R})\). This is done mostly in the context of AD, the axiom of determinacy. A mouse over the reals (or real mouse) is similar to the Dodd-Jensen mouse except that it contains the set of reals as an element and it believes that its measure \(\mu\) is ``\(\mathbb{R}\)-complete'', i.e., \(\bigcap A_{x \in \mathbb{R}} \in \mu\) for any \(\langle A_x \in \mu : x \in \mathbb{R} \rangle \in {\mathcal M}\). Real mice need not satisfy the axiom of choice. \(K (\mathbb{R})\) is essentially the union of all sufficiently good real mice. It is shown that if \({\mathcal M}\) is an iterable premouse over the reals which models AD, then the class of sets \(\Sigma_1 ({\mathcal M})\) has the scale property of Moschovakis. It is also shown that ZF + AD +\(V = K(\mathbb{R})\) implies DC and that Con(ZF + AD +\(P (\mathbb{R}) \nsubseteq L (\mathbb{R}))\) implies Con(ZF + AD + DC +\(\forall \alpha < \omega^2 (\alpha - \Pi^1_1) - \text{AD}_\mathbb{R})\).