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.