可测超力闭包性质
摘要：可测超力量的闭包性研究：基于Hamkin提出的“新鲜度”的概念，我们研究可测超力量的闭包性质，并发现这些性质的程度高度依赖于底层集合论模型的组合性质。在一个方向上，Sakai的一个结果表明，通过将一个强紧基数崩塌为一个可测基数的双后继，可以得到一个在这种超力量具有最强闭包性质的集合论模型。在另一个方向上，我们使用不同的“square principles”来表明，标准内部模型的可测超力量只具有最小的闭包性质。此外，这些结果的证明中所开发的技术还允许我们得出关于具有非最小闭包性质的可测超力量存在的一致性强度的陈述。
作者：Philipp L"ucke, Sandra M"uller
论文ID：2009.09530
分类：Logic
分类简称：math.LO
提交时间：2023-06-22