Ideals and combinatorial principles (Q4338317)

This short and compact article is written for readers with good knowledge about large cardinals and foundations in forcing. Familarity with the article ``The evolution of large cardinal axioms in set theory'' [Lect. Notes Math. 669, 99-275 (1978; Zbl 0381.03038)]\ by \textit{A. Kanamori} and \textit{M. Magidor} is advisable. By modifying a proof given in that article, \textit{D. Burke} and \textit{Y. Matsubara} obtain a condition on which every stationary subset of \(\{\alpha<\lambda:cf(\alpha)=\eta\}\) reflects (that means for every such \(X\) there is a \(\beta<\lambda\) such that \(X\cap\beta\) is stationary in \(\beta\)), or, for short, ``\(E^\eta_\lambda\) fails'' in the notion of \textit{Kanamori/Magidor}. Their condition is of course weaker than the known one for \(\eta=\omega\), which requires that \(\lambda\) is a regular cardinal above a strongly compact cardinal. Another condition is established by applying \textit{Shelah's} pcf theory. With the help of a theorem by \textit{E. Schimmerling} the authors gain as a corollary a condition which implies the relative consistency of the existence of a Woodin cardinal with ZFC. The second part deals with the combinatorial principle \(\square_\lambda\) by means of presaturated ideals, a notion which has been introduced in \textit{J. Baumgartner} and \textit{A. Taylor's} article ``Saturation properties of ideals in generic extensions. II'' [Trans. Am. Math. Soc. 271, 587-609 (1982; Zbl 0496.03029)].