Determinacy in the Chang model

Abstract

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 extensions.

7 pages