抽象修正迭代
Abstract Corrected Iterations
AI总结：
研究 $(<λ)$-支撑迭代可定义力迫概念，证明此类迭代可被修正，从而得出 Judah 和 Shelah 关于 Suslin ccc 力迫有限支撑迭代结果的一个类比。
摘要：
我们考虑沿着偏序对一种 $(<λ)$-策略完备的 $λ^+$-c.c. 可定义力迫概念的版本进行 $(<λ)$-支撑迭代。我们证明此类迭代可以被修正，从而得出 Judah 和 Shelah 关于 Suslin ccc 力迫有限支撑迭代结果的一个类比，即如果 $(\mathbb{P}_α, \underset{\sim}{\mathbb Q_β} : α≤ δ, β<δ)$ 是 Suslin ccc 力迫的 FS 迭代，且 $U⊆ δ$ 是充分闭的，那么令 $\mathbb{P}_U$ 为沿着 $U$ 的迭代，我们有 $\mathbb{P}_U \lessdot \mathbb{P}_δ$。
英文摘要：
We consider $(<λ)$-support iterations of a version of $(<λ)$-strategically complete $λ^+$-c.c. definable forcing notions along partial orders. We show that such iterations can be corrected to yield an analog of a result by Judah and Shelah for finite support iterations of Suslin ccc forcing, namely that if $(\mathbb{P}_α, \underset{\sim}{\mathbb Q_β} : α\leq δ, β<δ)$ is a FS iteration of Suslin ccc forcing and $U\subseteq δ$ is sufficiently closed, then letting $\mathbb{P}_U$ be the iteration along $U$, we have $\mathbb{P}_U \lessdot \mathbb{P}_δ$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
