When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\) (Q2216028): Difference between revisions

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.