I was invited to give a talk at the University of Münster on December 1, 2025.

Translating strategy mice

We discuss a procedure to translate rigidly layered strategy mice with omega Woodin cardinals into mice with a limit of Woodin and strong cardinals. We will also outline obstacles when attempting to generalize this procedure to strategy mice with more large cardinals or least branch strategy mice. If time permits, we will also sketch related work in progress, joint with Dominik Adolf and Benjamin Siskind, on translating complexity in derived models into large cardinals in a mouse.