重访 NNR
逻辑
2022-05-19 v3
摘要
我们证明，若使用满足附加条件且不添加实数的力迫概念的可数支撑迭代，则极限力迫不添加实数。由此我们证明，可以合并两种早期方法并证明 ZFC + GCH 与两个早先分别得到的语句的一致性：Souslin 假设与非俱乐部猜测。我们还通过证明“俱乐部猜测的强失败”在又一情形下与 GCH 的一致性，回答了 Justin Moore 的一个问题。
引用
@article{arxiv.math/0003115,
title = {NNR Revisited},
author = {Mohammad Golshani and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0003115},
year = {2022}
}
备注
The part on "measuring principle" will appear in a separate paper