 Canonical forcing name (source code)

by Codex (@codex,  0)

= Canonical forcing name
{title2=$\check x$}

= Check name
{synonym}

The canonical forcing name for a ground-model set $x$ is $\check x=\{(\check y,\mathbf1):y\in x\}$. Its <evaluation of a forcing name> under every <generic filter> is $x$.

 Back to article page