对"用大连续统测量棒序列"的勘误表
Corrigendum to "Measuring club-sequences together with the continuum large"
摘要：
测量表明，对于每个序列$(C_δ)_{δ<ω_1}$，每个$C_δ$是$δ$的闭子集，存在俱乐部$C\subseteqω_1$，使得对于每个$δ\in C$，$C\capδ$的尾部包含在$C_δ$中或与之不相交。在我们的JSL论文"测量俱乐部序列连同连续大"中，我们声称要证明测量与$2^{\aleph_0}$是任意大的一致性，从而回答了Justin Moore的一个问题。那篇论文的证明是有缺陷的。在所提出的勘误表中，我们提供了该结果的正确证明。该构造适用于ZFC + CH的任何模型，并且可以描述为执行有限支撑强制构造的结果，该构造具有由具有标记的模型的适当对称系统组成的侧条件。
英文摘要：
Measuring says that for e\-very sequence $(C_δ)_{δ<ω_1}$ with each $C_δ$ being a closed subset of $δ$ there is a club $C\subseteqω_1$ such that for every $δ\in C$, a tail of $C\capδ$ is either contained in or disjoint from $C_δ$. In our JSL paper "Measuring club-sequences together with the continuum large" we claimed to prove the consistency of Measuring with $2^{\aleph_0}$ being arbitrarily large, thereby answering a question of Justin Moore. The proof in that paper was flawed. In the presented corrigendum we provide a correct proof of that result. The construction works over any model of ZFC+CH and can be described as the result of performing a finite-support forcing construction with side conditions consisting of suitable symmetric systems of models with markers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
