Generic extension
= Generic extension
{wiki}
If $G$ is a <generic filter> over a <countable transitive model> $M$, the generic extension $M[G]$ consists of the interpretations by $G$ of all forcing names in $M$.
= Generic extension
{wiki}
If $G$ is a <generic filter> over a <countable transitive model> $M$, the generic extension $M[G]$ consists of the interpretations by $G$ of all forcing names in $M$.