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

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 7285671
Language Label Description Also known as
default for all languages
No label defined
    English
    When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\)
    scientific article; zbMATH DE number 7285671

      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