When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\) (Q2216028)

From MaRDI portal
scientific article
Language Label Description Also known as
English
When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\)
scientific article

    Statements

    When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\) (English)
    0 references
    15 December 2020
    0 references
    For two uncountable cardinals \(\kappa,\lambda\), where \(\kappa\) is regular and \(\kappa<\lambda,\) let \(P_\kappa(\lambda)\) denotes the family of all subsets of \(\kappa\) of size less than \(\lambda\). The paper under review is devoted to finding a way of transferring certain properties of \(\kappa\) to \(P_\kappa(\lambda)\) by finding an appropriate stationary coding set. In particular, following the ideas from the paper of \textit{W. S. Zwicker} [Contemp. Math. 31, 243--259 (1984; Zbl 0536.03030)], the author constructs (assuming the existence of a cofinal subset of \(P_\kappa(\lambda)\) of size \(\lambda\)) a stationary subset \(B\subseteq P_\kappa(\lambda)\) such that the restriction of the nonstationary ideal \(NS_{\kappa,\lambda}\) to \(B\) resembles the restriction of the nonstationary ideal \(NS_{\kappa}\) to the set \(E^\kappa_\mu=\left\{\alpha<\kappa:\alpha\text{ is limit }\&\ \text{cf}(\alpha)=\mu\right\}\) (for a regular cardinal \(\mu<\kappa\)). His construction uses an improved version of Zwicker's coding function, i.e. a function \(h:\lambda\to P_\kappa(\lambda)\) such that the range of \(h\) is cofinal in \(P_\kappa(\lambda)\). In the remaining part of the paper, different configurations of \(\kappa,\lambda\) and \(\mu\) are investigated.
    0 references
    ideal on \(P_\kappa(\lambda)\)
    0 references
    weak approachability
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references