We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > General Topology

Title: Open filters and measurable cardinals

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$.
Subjects: General Topology (math.GN)
Cite as: arXiv:2301.08704 [math.GN]
  (or arXiv:2301.08704v1 [math.GN] for this version)

Submission history

From: Serhii Bardyla [view email]
[v1] Fri, 20 Jan 2023 17:52:47 GMT (56kb)

Link back to: arXiv, form interface, contact.