Projective Games on the Reals

Juan P. Aguilera, Sandra Müller

Let $M_n^{♯}(\mathbb{R})$ denote the minimal active iterable extender model which has $n$ Woodin cardinals and contains all reals, if it exists, in which case we denote by $M_n(…