Cohen 1963: method to prove independence of CH from ZFC by adjoining generic filter to transitive model. Boolean-valued models reformulation.
Cohen 1963: method to prove independence of CH from ZFC by adjoining generic filter to transitive model. Boolean-valued models reformulation.