Evaluation of a forcing name
= Evaluation of a forcing name
{title2=$\operatorname{val}(\tau,G)$}
Interpret a <forcing name> recursively by $\operatorname{val}(\tau,G)=\{\operatorname{val}(\sigma,G):\exists p\in G\ ((\sigma,p)\in\tau)\}$. The collection of interpreted ground-model names is the <generic extension>.