加载中…
A union ultrafilter is an ultrafilter over the finite subsets of that has a base of sets of the form , where is an infinite pairwise disjoint family and $(X)={\bigcup F\big|F\in[X]^{<\omega}\setminus{\varnothing}}$. The existence of these ultrafilters is not provable from the axioms, but is known to follow from the assumption that . In this article we obtain various models of that satisfy the existence of union ultrafilters while at the same time .

生成讲解博客的中文版本

生成AI智能校验的中文版本