English

Open filters and measurable cardinals

General Topology 2024-06-26 v3

Abstract

In this paper, we investigate the poset OF(X)\mathbf{OF}(X) of free open filters on a given space XX. In particular, we characterize spaces for which OF(X)\mathbf{OF}(X) is a lattice. For each nNn\in\mathbb{N} we construct a scattered space XX such that OF(X)\mathbf{OF}(X) is order isomorphic to the nn-element chain, which implies the affirmative answer to two questions of Mooney. Assuming CH we construct a scattered space XX such that OF(X)\mathbf{OF}(X) is order isomorphic to (ω+1,)(\omega+1,\geq). To prove the latter facts we introduce and investigate a new stratification of ultrafilters which depends on scattered subspaces of β(κ)\beta(\kappa). Assuming the existence of nn measurable cardinals, for every m0,,mnNm_0,\ldots,m_{n}\in\mathbb N we construct a space XX such that OF(X)\mathbf{OF}(X) is order isomorphic to i=0nmi\prod_{i=0}^nm_i. Also, we show that the existence of a metric space possessing a free ω1\omega_1-complete closed, GδG_\delta, FσF_{\sigma} or Borel ultrafilter is equivalent to the existence of a measurable cardinal.

Keywords

Cite

@article{arxiv.2301.08704,
  title  = {Open filters and measurable cardinals},
  author = {Serhii Bardyla and Jaroslav Supina and Lyubomyr Zdomskyy},
  journal= {arXiv preprint arXiv:2301.08704},
  year   = {2024}
}