正则基数后继处的迭代力迫
逻辑
2007-05-23 v1
摘要
我们研究如下问题:何时 ≤λ--支撑的 <λ--完全力迫概念的迭代保持 λ^+。我们分离出一个性质——{\em 基于 diamond 的正确性问题(properness over diamonds)}——它蕴涵 λ^+ 被保持,并证明该性质在 λ--支撑迭代下得以保持。最后给出我们技术的一个应用:给出了关于 {δ<λ^+:cf(δ)=λ} 上阶梯系统着色的正规化的一致结果,补充了 Shelah 的一个定理。
引用
@article{arxiv.math/0210162,
title = {On iterated forcing at successors of regular cardinals},
author = {Todd Eisworth},
journal= {arXiv preprint arXiv:math/0210162},
year = {2007}
}