English

Determinacy in the Chang model

Logic 2023-02-14 v1

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+\mathsf{AD}^+ in any set generic extensions.

Cite

@article{arxiv.2302.06487,
  title  = {Determinacy in the Chang model},
  author = {Takehiko Gappo and Grigor Sargsyan},
  journal= {arXiv preprint arXiv:2302.06487},
  year   = {2023}
}

Comments

7 pages

R2 v1 2026-06-28T08:38:56.819Z