非 Cohen 预言 c.c.c.
逻辑
2007-05-23 v1
摘要
预言 c.c.c. 与 Cohen 力迫密切相关。在迭代过程中我们可以“省略一个类型”；即保持“给定的一族实数 Borel 集的交为空”，只要 Cohen 力迫满足它。我们将此推广到其他情形。我们用“良”可定义的 c.c.c. 替换 Cohen，做出预言 c.c.c. 的平行版本，并以一个从给定的良 c.c.c. 力迫中提取满足该预言的子力迫（非完全子力迫）的判据作结。
引用
@article{arxiv.math/0303294,
title = {Non Cohen Oracle c.c.c},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0303294},
year = {2007}
}