有没有和ZFC+存在可测基数一样强的ZFC+V=L+φ?
2023-12-07 阅读 42
在数学中,ZFC(Zermelo-Fraenkel集合论与选择公理)是一种公理系统,用于描述集合论的基本原理。其中的选择公理是一条关于集合的陈述,它确保了在某些情况下可以做出选择。
ZFC+存在可测基数是指在ZFC公理系统的基础上,加上了存在可测基数的陈述。可测基数是一种特殊的无限基数,它与测度论和概率论密切相关。
另一方面,ZFC+V=L+φ是指在ZFC公理系统的基础上,加上了维度公理(V=L)和一个附加的陈述φ。
回答你的问题,目前并没有已知的结果表明ZFC+存在可测基数与ZFC+V=L+φ在强度上是等价的。这是一个开放的问题,仍然存在研究和探索的空间。因此,我们不能确定它们是否具有相同的强度。
更新于 2023年12月07日