arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1003.2819math.LO
收藏

引入非平凡的平方_omega

Introducing a nontrivial square_omega

Gregor K. Dolinar, Mirna Džamonja

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分析而来,可能存在错误,请以论文正文为准。

↑