References & Citations
Mathematics > General Topology
Title: Open filters and measurable cardinals
(Submitted on 20 Jan 2023)
Abstract: In this paper we show that the existence of a space $X$ which possesses a free $\omega_1$-complete open ultrafilter is equivalent to the existence of a measurable cardinal. This result gives an answer to an old question of Liu. Also, we investigate the poset $\mathbf{OF}(X)$ of free open filters on a space $X$. In particular, we characterize spaces for which $\mathbf{OF}(X)$ is a lattice. For each $n\in\mathbb{N}$ we construct a scattered space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to the $n$-element chain, which implies the affirmative answer to two questions of Mooney. Assuming CH we constructed a scattered space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to $(\omega+1,\geq)$. To prove the latter fact we introduced and investigated a new stratification of ultrafilters which depends on scattered subspaces of $\beta(\omega)$. We show that for each cardinal $\kappa$ there exists a space $X$ which possesses exactly $\kappa$-many free open filters. Assuming the existence of $n$ measurable cardinals, for every $m_0,\ldots,m_{n}\in\mathbb N$ we construct a space $X$ such that $\mathbf{OF}(X)$ is isomorphic to the direct product $\prod_{i=0}^nm_i$.
Link back to: arXiv, form interface, contact.