Part 1 here Part 2: How big is 𝒫(ω)? Now the pieces are all in place to start applying forcing to prove some big results. Everything that follows assumes the existence of a countable transitive model M of ZFC. First, a few notes on terminology. The language of ZFC is very minimalistic. All it has … Continue reading Forcing and the Independence of CH (Part 2)
