Theorem 3.30. Assuming that:

$M [G] ⊨ x \subseteq ω$

Then there is a nice name

τ

such that

val (τ, G) = x

.