English

Monotonicity of the ultrafilter number function

Logic 2025-11-24 v4

Abstract

We investigate whether the ultrafilter number function κu(κ)\kappa \mapsto \mathfrak{u}(\kappa) on the cardinals is monotone, that is, whether u(λ)u(κ)\mathfrak{u}(\lambda) \le \mathfrak{u}(\kappa) holds for all cardinals λ<κ\lambda < \kappa or not. We show that monotonicity can fail, but the failure has large cardinal strength. On the other hand, we prove that there are many restrictions of the failure of monotonicity. For instance, if κ\kappa is a singular cardinal with countable cofinality or a strong limit singular cardinal, then u(κ)u(κ+)\mathfrak{u}(\kappa) \le \mathfrak{u}(\kappa^+) holds.

Keywords

Cite

@article{arxiv.2501.14988,
  title  = {Monotonicity of the ultrafilter number function},
  author = {Toshimichi Usuba},
  journal= {arXiv preprint arXiv:2501.14988},
  year   = {2025}
}
R2 v1 2026-06-28T21:17:10.920Z