Determinacy in the Chang model
| Autor: | Gappo, Takehiko, Sargsyan, Grigor |
|---|---|
| Rok vydání: | 2023 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | 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. Comment: 7 pages |
| Databáze: | arXiv |
| Externí odkaz: |
|