摘要：对于任何定义良好的P，它是用于添加实数的forcing，P的可数支持迭代具有其可能具有的所有保持性质，在一个广泛的句法识别出的属性类中。
作者：Jindrich Zapletal
论文ID：math/0106203
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中