Scifaro

中文

关于力迫迭代的进一步结果

逻辑 2009-09-25 v1

作者: Chaz Schlindwein

在 arXiv 上查看 ↗ PDF ↗

摘要

半真性、半真性和伪完备性的保持定理对可数支撑迭代以及修正可数支撑迭代均成立，尽管“因子引理”对可数支撑版本不成立。例：在 CH 的基模型上 Namba 力迫的可数支撑迭代不添加实数。例：在 CH 的基模型上由 Namba 力迫与 Cohen 力迫构造的可数支撑迭代不塌缩 omega_1。

关键词

力迫迭代半真性半真性伪完备性可数支撑 Namba 力迫 Cohen 力迫

引用

@article{arxiv.math/9612208,
  title  = {More on forcing iteration},
  author = {Chaz Schlindwein},
  journal= {arXiv preprint arXiv:math/9612208},
  year   = {2009}
}