存在 Woodin 基数时的核模型
逻辑
2007-05-23 v1
摘要
我们证明：若在 n 个 Woodin 基数之上有一个可测基数且 M_{n+1}^# 不存在，则 K 存在。不过 K 并非完全可迭代，而仅关于活在 Woodin 基数之间的某些树栈可迭代。然而仍成立的是：若 M 是 V 的一个 omega-闭迭代，则 K^M 是 K 的一个迭代。
引用
@article{arxiv.math/0303089,
title = {Core models in the presence of Woodin cardinals},
author = {Ralf Schindler},
journal= {arXiv preprint arXiv:math/0303089},
year = {2007}
}
备注
6 pages