More on powers of singular cardinals (Q1102951)

It was shown by \textit{F. Galvin} and \textit{A. Hajnal} [Ann. Math., II. Ser. 101, 491-498 (1975; Zbl 0327.02055)], that \(2^{\aleph_{\omega_ 1}}<\aleph_{(2^{\omega_ 1})\quad +}\) when \(\aleph_{\omega_ 1}\) is strong limit. Let \(D_{\omega_ 1}\) be the filter of closed unbounded subsets on \(\omega_ 1\), for \(f\in^{\aleph_ 1}Ord\) let \(\| f\|_{D_{\omega_ 1}}\) be the rank function defined by \[ \| f\|_{D_{\omega_ 1}} = \sup \{\| g\|_{D_{\omega_ 1}}: g<_{D_{\omega_ 1}}f\}. \] This rank function can be used to get bounds for cardinal powers of the form \(\kappa^{\aleph_ 1}.\) In this paper the author generalizes some of his ideas [Notre Dame J. Formal Logic 27, 263-299 (1986; Zbl 0637.03052)]. Especially he investigates normal ultrafilters on \(P(\omega_ 1)\) and introduces some new ranks. This is used to give bounds for \(\aleph_{\delta}^{\aleph_ 1}\) where cf \(\delta\) \(=\omega_ 1\) and \((\forall \alpha <\delta) \aleph_{\alpha}^{\aleph_ 0}<\aleph_{\delta}.\) So he obtains a bound for the \(\omega_ 1\)-th cardinal in \(C_{\omega}=\cap_{n<\omega}C_ n\) where \(C_ 0\) is the class of all cardinals and \(C_{n+1}\) is the set of all fixed points of \(C_ n\).