English

Dominating numbers at singular cardinals

Logic 2025-08-19 v1

Abstract

We study the generalized dominating number dμ\mathfrak{d}_{\mu} at a singular cardinal μ\mu of cofinality κ\kappa. We show two lower bounds: in ZFC, cf([μ]κ,)dμ\mathrm{cf}([\mu]^\kappa,\subseteq) \leq \mathfrak{d}_{\mu}, and under mild cardinal-arithmetic assumptions, 2<μdμ2^{<\mu} \leq \mathfrak{d}_{\mu}. We also clarify when dμ\mathfrak{d}_{\mu} can differ from 2μ2^{\mu}: assuming GCH and κ=cf(μ)>ω\kappa = \mathrm{cf}(\mu) > \omega, a finite-support iteration of Cohen forcing of length μ++\mu^{++} yields dμ<2μ\mathfrak{d}_{\mu} < 2^{\mu}. On the other hand, for κ=cf(μ)=ω\kappa = \mathrm{cf}(\mu) = \omega, natural μ\mu-cc posets force dμ=2μ\mathfrak{d}_{\mu} = 2^{\mu}.

Cite

@article{arxiv.2508.12018,
  title  = {Dominating numbers at singular cardinals},
  author = {Yusuke Hayashi},
  journal= {arXiv preprint arXiv:2508.12018},
  year   = {2025}
}
R2 v1 2026-07-01T04:53:03.237Z