1 problem

Assume $\mathrm{ZF}+\mathsf{AD}^{L(\mathbb R)}$. Let $M$ be a $(0,\omega_1)$-iterable countable $\omega$-small premouse satisfying “$\omega_1$ exists”. Then there are $\gamma$,…