超力公理下的Galvin性质
摘要：加尔文性质的研究持续进行。具体来说，我们深化了特定类似钻石的原则与非加尔文超滤器之间的联系。我们还证明了任何不是$p$-point的Dodd音超滤器都是非加尔文超滤器。我们利用这些思想提出了一个基本上最优的大基数假设，确保了非加尔文超滤器的存在，改进了Benhamou和Dobrinen的结果。最后，我们利用Ultrapower Axiom的加强版本证明，在所有已知的规范内部模型中，一个$kappa$-complete的$kappa$超滤器具有加尔文性质当且仅当它是$p$-points的迭代和。
作者：Tom Benhamou, Gabriel Goldberg
论文ID：2306.15078
分类：Logic
分类简称：math.LO
提交时间：2023-06-29