On \(\mathfrak{d}_{\mu}\) for \(\mu\) singular (Q2204103): Difference between revisions

In this paper, the author deals with cardinal invariants of a singular cardinal \(\mu\). Especially he investigates the cardinal numbers \(\mathfrak{d}_{\mu}\) and \(\mathfrak{e}_{\mu}\). For \(f,g \in {}^{\mu} {\mathrm{cf}}(\mu)\), \(g\) dominates \(f\) iff \(\vert \{ \beta \in {\mathrm{cf}}(\mu) : f(\beta) > g(\beta)\}\vert < {\mathrm{cf}}(\mu)\). A family \(D \subseteq {}^{\mu}{\mathrm{cf}}(\mu)\) is a dominating family iff for each \(f \in {}^{\mu}{\mathrm{cf}}(\mu)\) there is some \(g \in D\) which dominates \(f\). The dominating number \(\mathfrak{d}_{\mu}\) is the minimal size of a dominating family at \({}^{\mu} {\mathrm{cf}}(\mu)\).\par The main result of the paper is that for a strong limit \(\mu\), we have \(\mathfrak{d}_{\mu} = 2^{\mu}\) and thus \(\mathfrak{d}_{\mu}\) is maximal. This answers questions 3.5 and 3.6 of \textit{Simon Garti} and \textit{Saharon Shelah} [``Dear lambda'', Preprint, \url{arXiv:1806.09286}]. The paper ends with complementary consistency results.