8
$\开始组$

已知与ZF一致的是，在任何无限集上都不存在非主超滤波器吗？（在这种情况下，请随意使用您最喜欢的“无限”解释。如果无限只是指无限序数，那也没关系。您可以使用各种大型基数。）

改进这个问题
$\端组$

1答案1

重置为默认值
14
$\开始组$

是的，每一个超滤器都是主要的，这与ZF是一致的。这是Andreas Blass的成果，不带超滤器的模型，公牛。阿卡德。波隆。科学。25 (1977), 329–331.

改进此答案
$\端组$
2
  • 5
    $\开始组$ 它也包含在：MR0480028（58#227）Pincus，David；Robert M.Solovay，测量和超滤的定义。《符号逻辑杂志》42（1977），第2期，179-190。 $\端组$
    – 西蒙·托马斯
    评论 2011年9月27日12:09
  • $\开始组$ 谢谢你的回答。我有一种错误的印象，认为只有特定集合上的超滤器才被研究过 $\端组$
    – 斯特凡·盖施克
    评论 2011年9月27日12:10

你的答案

单击“发布您的答案”，表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗？浏览标记的其他问题或问你自己的问题.