中文

合理完全的力迫概念

逻辑 2013-01-04 v1

摘要

我们引入力迫概念的更多性质,这些性质蕴含其 lambda-支撑迭代是 lambda-适当的,其中 lambda 是一个不可达基数。本文是 math.LO/0210205 的 A.2 节的直接延续。作为我们迭代结果的一个应用,我们证明与 lambda 上两个正规滤子相关的控制数不同这一结论是相容的。

关键词

引用

@article{arxiv.math/0508272,
  title  = {Reasonably complete forcing notions},
  author = {Andrzej Roslanowski and Saharon Shelah},
  journal= {arXiv preprint arXiv:math/0508272},
  year   = {2013}
}