Open filters and measurable cardinals

arXiv2301.08704MaRDI QIDQ6423968FDOQ6423968

Jaroslav Šupina, Lyubomyr Zdomskyy, S. Bardyla

Publication date: 20 January 2023

Abstract: In this paper we showed that the existence of a space $X$ possessing a free $omeg{a}_1$-complete open filter which is contained in $<2^{mathfrakc}$ open ultrafilters implies the existence of a measurable cardinal. This result implies a negative answer to an old question of Liu. Also, we investigate the poset $mathbfOF(X)$ of free open filters on a space $X$. In particular, we characterize spaces for which $mathbfOF(X)$ is a lattice. For each $ninmathbbN$ we construct a scattered space $X$ such that $mathbfOF(X)$ is order isomorphic to the $n$-element chain, which implies the affirmative answer to two questions of Mooney. Assuming CH we construct a scattered space $X$ such that $mathbfOF(X)$ is order isomorphic to $(omega+1,geq)$. To prove the latter fact we introduce and investigate a new stratification of ultrafilters which depends on scattered subspaces of $$. We show that for each cardinal $kappa$ there exists a space $X$ which possesses exactly $kappa$-many free open filters. The latter complements results of Pelant, Simon and Vaughan. Assuming the existence of $n$ measurable cardinals, for every $m_0,ldots,m_{n}inmathbbN$ we construct a space $X$ such that $mathbfOF(X)$ is order isomorphic to the direct product $pro{d}_{i=0}^n{m}_i$.

This page was built for publication: Open filters and measurable cardinals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6423968)