On January 18, 2016, I gave a talk at the Hamburg Set Theory Workshop 2016.

Hybrid Mice with Finitely Many Woodin Cardinals from Determinacy

Abstract: Mice are countable sufficiently iterable models of set theory. Hybrid mice are mice which are equipped with some iteration strategy for a mouse they are containing. This allows them to capture stronger sets of reals.

W. Hugh Woodin has shown in so far unpublished work that boldface $\Pi^1_{n+1}$-determinacy implies that $M_n^\sharp(x)$ exists and is $\omega_1$-iterable for all reals $x$. We will generalize parts of this to hybrid mice and levels of determinacy in the $L(\mathbb{R})$-hierarchy.