Cohen's 1963 technique for building extensions M[G] of a ground model M that satisfy prescribed new statements. Used to prove independence of CH, AC, and many combinatorial statements from ZFC.
Cohen's 1963 technique for building extensions M[G] of a ground model M that satisfy prescribed new statements. Used to prove independence of CH, AC, and many combinatorial statements from ZFC.