Suppose $\lambda$ is a strong limit cardinal of cofinality $\omega$ and for $A$ a transitive set, define $L(A)$ in the usual fashion by setting $$L_0(A)=A;$$ $$L_{\alpha+1}(A) = L_\alpha (A)\cup \mathcal P_{Def}(L_\alpha(A));$$ $$L(A)=\bigcup_{\alpha\in Ord} L_\alpha (A).$$

In Woodin's longer article "The Continuum Hypothesis" (in LNL 19, Logic Colloquium 2000), the following facts are stated regarding $L(V_{\lambda+1})$:

(1) If $c$ is Cohen generic over $V$ then very likely $$(L(V_{\lambda+1}))^{V[c]}\neq L(V_{\lambda+1})[c].$$

(2) On the other hand, if $G\subset Coll(\omega_1,\mathbb{R})$ is $V$-generic then $$(L(V_{\lambda+1}))^{V[G]}= L(V_{\lambda+1})[G].$$

Can anyone give a (sketch of) proof of either (1) or (2)? Are these results given only in the context of a non-trivial elementary embedding $j:L(V_{\lambda+1})\prec L(V_{\lambda+1})$ with $crit(j)<\lambda$?

More generally, for a partial order $\mathbb{P}$ and a $G\subset \mathbb{P}$ which is $V$-generic, which properties of $\mathbb{P}$ are sufficient to ensure the equality $$(L(V_{\lambda+1}))^{V[G]}= L(V_{\lambda+1})[G]$$ holds? Fails? Is this even known?

`$(L(V_{\lambda+1}))^{V[c]}$`

will differ from`$L(V_{\lambda+1})^V$`

as soon as $\lambda\geq\omega$, because the former contains $c$ and the latter doesn't. – Andreas Blass Oct 12 '12 at 16:53