Strong partition cardinals and determinacy in \(K(\mathbb R)\) (Q2257111)

\textit{A. S. Kechris} and \textit{W. H. Woodin} [in: Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL). 355--378 (2008; Zbl 1194.03038)] showed that, assuming ZF + DC, the Axiom of Determinacy (AD) holds in \(L(\mathbb R)\) if and only if \(L(\mathbb{R})\models \forall \lambda<\theta \;\exists \kappa>\lambda \;\kappa \to (\kappa)^\kappa\). Here, \(\theta\) is the supremum of those ordinals which are the surjective images of \(\mathbb R\), and \(\kappa \to (\kappa)^\kappa\) denotes the statement that for every colouring of all \(\kappa\)-sized subsets of \(\kappa\) by two colours there is a \textit{monochromatic } set \(A\subseteq \kappa\) of size \(\kappa\), i. e. set all of whose \(\kappa\)-sized subsets are coloured by the same colour. The paper under review shows that the same is true for the \textit{real core model \(K(\mathbb R)\)}. The core model \(K\) was introduced by \textit{A. Dodd} and \textit{R. Jensen} [Ann. Math. Logic 20, 43--75 (1981; Zbl 0457.03051)] as a natural extension of Gödel's constructible universe \(L\) accomodating large cardinals. The real core model \(K(\mathbb R)\) relates to \(K\) in the same way as \(L(\mathbb R)\) relates to \(L\).