On \(\mathfrak{d}_{\mu}\) for \(\mu\) singular (Q2204103)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7254844
Language Label Description Also known as
default for all languages
No label defined
    English
    On \(\mathfrak{d}_{\mu}\) for \(\mu\) singular
    scientific article; zbMATH DE number 7254844

      Statements

      On \(\mathfrak{d}_{\mu}\) for \(\mu\) singular (English)
      0 references
      0 references
      2 October 2020
      0 references
      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.
      0 references
      0 references
      combinatorial set theory
      0 references
      cardinal invariant
      0 references

      Identifiers