We continue where we left off last week by discussing product forcing as a special case of the successor step in an iterated forcing. After discussing two-step iterations, we then end with a definition of an iterated forcing poset. The eventual goal of these talks is to prove the consistency of MA+~CH with ZFC.
Thinking about UNT?
It's easy to apply online. Join us and discover why we're the choice of over 46,000 students.
Apply now