Time: Mon 12:00pm - 1:30 pm

starts 2008-03-05

This continuation of Axiomatische Mengenlehre 1 will introduce forcing. We begin with Cohen's forcing method. Then, the independence of the Axiom of Choice from set theory with urelements as well as further topics in forcing will be discussed.

The lectures will be given in English.

Prerequisites: Basic knowledge of axiomatic set theory, such as presented in the Winter Semester 2007 lecture Axiomatische Mengenlehre 1.