Corollary 3.31.
Assuming that:
ℙ
has
countable chain condition
M
⊨
|
ℙ
|
=
κ
∧
λ
=
κ
ℵ
0
Then
M
[
G
]
⊨
2
ℵ
0
≤
λ
.