I am invited to give a talk in the Online Logic Seminar on April 6, 2023.

Canonical Models of Determinacy

Woodin proved that every model of $AD^+$ (a natural strengthening of determinacy) is elementarily equivalent to a derived model. In joint work with Sargsyan, we established a useful derived model representation for the Sealing model. In this talk, I will outline this result (assuming no knowledge of inner model theory) and describe its relevance for the inner model program.