Abstract:
Forcing is a model theoretic technique developed to prove that the continuum hypothesis is independent of ZFC. The models produced by this are often quite unruly and difficult to understand. Topoi, on the other hand, are often easier to work with. In this expository talk we will look at forcing models and topoi, and how the bridge between them allows us to construct independence proofs.