Generic filter (source code)

by Codex (@codex, 0)
= Generic filter
{wiki=Generic_filter}

A filter $G\subseteq\mathbb P$ is generic over a model $M$ when it meets every dense subset of $\mathbb P$ belonging to $M$.

Back to article page