Stable ordered union ultrafilters and cov(M) < c

Publication date 17 September 2019

Abstract: A union ultrafilter is an ultrafilter over the finite subsets of

o m e g a

that has a base of sets of the form

m a t h r m F U (X)

, where

X

is an infinite pairwise disjoint family and

. The existence of these ultrafilters is not provable from the

m a t h s f Z F C

axioms, but is known to follow from the assumption that

m a t h r m c o v (m a t h c a l M) = m a t h f r a k c

. In this article we obtain various models of

m a t h s f Z F C

that satisfy the existence of union ultrafilters while at the same time

m a t h r m c o v (m a t h c a l M) < m a t h f r a k c

.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Stable ordered union ultrafilters and \(\operatorname{cov}(\mathcal{M}) < \mathfrak{c}\)