Suppose $p_{n}$, $n\in \omega$ is a sequence in a partial order $P$ and $Q_{n}$ is a dense open subset of $P$ for each $n\in\omega$ such that $p_{n}\in Q_{n}$ and $\bigcap_{n}Q_{n}=\emptyset$. Is it true that no generic $G$ can contain all $p_{n}$?
a question on forcing
1
$\begingroup$
forcing