非科恩神谕c.c.c。
摘要：关于保留Cohen forcing的相关性，可以“省略一种类型”；即保留空的“一组给定的Borel集合的交集”，只要Cohen forcing满足它。我们将这一概念推广到其他情况。我们用“良好”可定义的ccc取代Cohen forcing，进行oracle ccc的平行处理，并提出了从给定的良好ccc中提取子forcing（不是完全子forcing）并满足oracle的标准。
作者：Saharon Shelah
论文ID：math/0303294
分类：Logic
分类简称：math.LO
提交时间：2007-05-23