1 problem

Let $V$ be a model satisfying the Kinna–Wagner principle $\mathsf{KWP}$, let $G$ be a $V$-generic filter, and let $M$ be an intermediate model with $V\subseteq M\subseteq V[G]$. Ki…