Determinacy in the Chang model

Takehiko Gappo, Grigor Sargsyan

Assuming the existence of a certain hod pair with a Woodin cardinal that is a limit of Woodin cardinals, we show that the Chang model satisfies ${\mathsf{AD}}^{+}$ in any set generic e…