More set-theory for topologists

Basic applications in topology of ◊, elementary submodels and forcing are illustrated. Finite and countable supported forcing iterations are reviewed. Also there are two new applications of Prikry forcing to preservation results.