坍塌诱导的终极绝对性

通用绝对性是指某些集合论宇宙中的真理在 forcing 扩张下保持稳定的现象。克里普克经典结果断言，每个完备布尔代数都完全嵌入到可数生成的某个代数中，这意味着任何 forcing 扩展都可以实现为通过坍塌 forcing 获取的扩展。这个观察提出了一个更深层的问题：在研究 projective generic absoluteness 时，是否所有 forcing 都是必要的，还是特定类的 forcing 就足以捕获相同的不变性水平？本文表明，在适当的大基假设下，坍塌 forcing 的 projective generic absoluteness 实际上等价于任意 forcing 的绝对性；我们讨论了这些假设的必要性，指出在较低的 projective 水平上该结果在 ZFC 中成立。因此，我们揭示了坍塌 forcing 的终极性，因为它们捕获了宇宙在 forcing 扩展下的完整鲁棒性。