引入非平凡的平方_omega
Introducing a nontrivial square_omega
AI总结:
本文定义了非平凡的平方原理□_ω,并通过有限条件的forcing证明其一致性,但后续发现该原理可在ZFC中构造。
摘要:
我们定义了平方原理□_ω的一种非平凡版本,并通过有限条件的forcing证明其一致性。本文作者因发现□_ω可在ZFC中构造而撤回论文。需要注意的是,forcing本身未被发现有缺陷。
英文摘要:
We define a nontrivial version of the square principle $\Box_ω$, which we then show consistent by means of forcing with finite conditions. This paper has been withdrawn by the author due to the fact that the presented $\Box_ω$ can be constructed in ZFC, as shown by Lajos Soukup and Philip Welch. Note, that the forcing itself has not been found flawed.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。