The method of forcing
arXiv:1902.03235
Abstract
The purpose of this article is to give a presentation of the method of forcing aimed at someone with a minimal knowledge of set theory and logic. The emphasis will be on how the method can be used to prove theorems in ZFC.
This article started out as a set of notes prepared for a tutorial presented during BIRS workshop 13w5026 in November 2013. Comments welcome