迭代之主
Lords of the iteration
摘要：
我们介绍了力迫概念的几个性质，这意味着它们的支集迭代是支集真的。我们的方法和技术完善了在math.LO/9906024、math.LO/0210205、math.LO/0508272和math.LO/0605067中研究的那些方法和技术，涵盖了一些新的力迫概念（尽管新属性与旧属性的确切关系尚未确定）。
英文摘要：
We introduce several properties of forcing notions which imply that their lambda-support iterations are lambda-proper. Our methods and techniques refine those studied in math.LO/9906024, math.LO/0210205, math.LO/0508272 and math.LO/0605067, covering some new forcing notions (though the exact relation of the new properties to the old ones remains undecided).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
