La jerarquía acumulativa de un topos

J. C. Rivera en su trabajo de grado, motivado por las ideas de X. Caicedo, expuso una forma de ver el forcing de Cohen en terminos de modelos de Kripke. Para esto, trabaja con un modelo de Kripke en particular, la jerarquia acumulativa de conjuntos variables, un universo a la von Neumann con el twis...