期刊
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
卷 150, 期 3, 页码 1321-1329出版社
AMER MATHEMATICAL SOC
DOI: 10.1090/proc/15741
关键词
-
资金
- NSF [DMS-1954149, DMS-1352034]
We prove that in a self-iterable universe, if kappa is an inaccessible limit of Woodin cardinal, then AD(R) + Theta holds in the derived model at kappa. The proof is fine-structure free and only requires basic knowledge of iteration trees and iteration strategies. Our proof can be seen as a fine structure free version of the well-known fact that AD(R) + Theta is true in the derived models of hod mice with inaccessible limit of Woodin cardinals (see for example Sargsyan [Mem. Amer. Math. Soc. 236 (2015), p. viii+172]). However, the proof uses different ideas and is more general.
We show that if the universe is self-iterable and kappa is an inaccessible limit of Woodin cardinal then AD(R) + Theta is regular holds in the derived model at kappa. The proof is fine-structure free, and only assumes basic knowledge of iteration trees and iteration strategies. Our proof can be viewed as the fine structure free version of the well-known fact that AD(R) + Theta is regular is true in the derived models of hod mice that have inaccessible limit of Woodin cardinals (see for example Sargsyan [Mem. Amer. Math. Soc. 236 (2015), p. viii+172]). However, the proof uses a different set of ideas and is more general.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据