A theorem on P_()
The set \(S(\kappa,\kappa^+)\) is \(\{x\in P_{\kappa}(\kappa^+)|| x| =| x\cap \kappa |^+\}\). It was investigated in \textit{S. Baldwin} [Proc. Am. Math. Soc. 92, 90-92 (1984; Zbl 0552.03035)]. Here it is shown that if f is an ordinal-valued function on \(\kappa\) with Galvin-Hajnal norm \(\| f\| =\beta\), where \(\beta <\lambda\), then the order-type OT(\(\beta\cap x)\leq f(OT(\kappa \cap x))\) for almost all \(x\in {\mathcal P}_{\kappa}(\lambda)\); as a corollary, if (i) \(S(\kappa,\kappa^+)\) is stationary then (ii) the function \(f(\xi)=\xi^+\) on \(\kappa\) has norm \(\kappa^+\). The paper ends with some remarks and open questions on the consistency strengths of (i) and (ii).
- Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
- scientific article; zbMATH DE number 5354054 (Why is no real title available?)
- Some Results Related to Patai's Theorem
- Functions having stationary constant sets
- A Variation on a Theorem of Galvin and Hajnal
- A simple proof of Silver's theorem
- A description of (Cp[Lp(M)], Rp[Lp(M)])θ
This page was built for publication: A theorem on \(P_{\kappa}(\lambda)\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1095902)