What is forcing?
David Schrittesser will explain what forcing is. Forcing is a technique used to prove independence and consistency results in set theory; for example, it can be used to show that the Axiom of Choice is independent of the ZF axioms.
This lecture is part of the What is...? seminar.