The long extender algebra (Q684225)

A theorem of \textit{L. Bukovsky} [Fundam. Math. 83, 35--46 (1973; Zbl 0344.02043)] states that \(V\) is a \(\lambda\)-c.c. generic extension of an inner model \(W\) if and only if for all ordinals \(\alpha\), \(\beta\) and functions \(g\in{^\alpha\!}\beta\), there is a function \(f\in {^\alpha}\mathcal{P}(\beta)\cap W\) such that \(g(\xi)\in f(\xi)\) and \(|f(\xi)|^W<\lambda\), for all \(\xi\in\alpha\). In the paper under review, the author explores a relationship between Bukovsky's theorem and Woodin's extender algebra. The author first presents a generalization of the extender algebra to the \textit{long extender algebra} \(\mathbb{P}^{\mathcal{E}}\), where \(\mathcal{E}\) is a particular class of long extenders. The author also defines when such an \(\mathcal{E}\) is \((\lambda,\mu)\)-rich (see the bottom of page 79). Now, let \(W\) be an inner model. Let \(\lambda\) be a cardinal (in \(V\)) that is supercompact in \(W\). The author shows that the following statements are equivalent: {\parindent=7mm \begin{itemize}\item[(1)] For every \(a\in V\), there is a poset \(\mathbb{P}\in W\) such that \(\mathbb{P}\) is \(\lambda\)-c.c. in \(W\) and \(a\in W[g]\) for some \(g\) which is \(\mathbb{P}\)-generic over \(W\). \item[(2)] \(V=W[g]\) for some \(g\) that is \(\mathbb{P}^{\mathcal{E}}\)-generic over \(W\), where \(\mathcal{E}\in W\) is \((\lambda,2^\lambda)\)-rich in \(W\) and \(\mathbb{P}^{\mathcal{E}}\) is the long extender algebra in \(W\). \end{itemize}}