More on the weak diamond (Q1071763)

The subset S of the regular cardinal \(\lambda\) is said to be small if for some function F, for every \(\eta \in^{\lambda}2\), for some \(g: \lambda\) \(\to \lambda\) and some closed unbounded subset C of \(\lambda\), (\(\forall \sigma \in S\cap C)\) \([\eta (\delta)=F(g\upharpoonright \delta)]\). There had been some hope that one could show that \(2^{\aleph_ 1}<2^{\aleph_ 2}\) implies \(\{\delta \in \aleph_ 2\); \(cf(\delta)=\omega \}\) is not small. However, in this note the author uses iterated forcing to prove a consistency result contradicting this (and much more).