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

From MaRDI portal
Revision as of 17:02, 23 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On \(\mathfrak{d}_{\mu}\) for \(\mu\) singular
scientific article

    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