Determinacy in the Chang model

2023/02/13 by Gappo, Takehiko, Sargsyan, Grigor
#03E45 #03E55 #03E60 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2302.06487

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 AD⁺ in any set generic extensions.

Related

• Chang models over derived models with supercompact measures
• Building Models of Determinacy from Below
• The consistency strength of determinacy when all sets are universally Baire
• A model of the Axiom of Determinacy in which every set of reals is universally Baire
• On ω-strongly measurable cardinals in ℙ_max extensions