What is forcing? – University of Copenhagen

Forward this page to a friend Resize Print kalender-ikon Bookmark and Share

Department of Mathematical Sciences > Calendar > Events > What is forcing?

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.