Supongamos que <\kappa_n|n<\omega> es estrictamente creciente secuencia de medir los cardenales,
\kappa es el límite de esta secuencia. Para cada n<\omega, U_n es una medida normal en
\kappa_n. P es la diagonal Prikry obligando a los correspondientes a \kappa_n y U_n. Supongamos que g es P-secuencia genérica sobre V. Hemos sabido que para cada estrictamente creciente
secuencia x de longitud \omega de tal manera que cada x(i)<\kappa_i y x\in{V}, x es el tiempo
dominado por g. En V[g], supongamos que a es Un subconjunto de \kappa, no es en V. hay una estrictamente
el aumento de la secuencia y de la longitud \omega de tal manera que cada y(i)<\kappa_i y y\in{V[A]}, y no es
finalmente dominado por g?
(g, eventualmente, puede dominar todas estas secuencias en V, V[a] es mayor que V, siento que g no puede
finalmente dominan todas estas secuencias en V[A].)