Canonical Models of Determinacy

Abstract: Woodin proved that every model of $\mathsf{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.

logic

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic