Preliminary meeting: Tuesday, January 27, 4:00 pm (sharp!), SR1D. The topic of next semester's set theory seminar will be iterated forcing and/or the constructible universe. We will learn methods for producing interesting models of set theory which give rise to convincing (albeit competing) semi-completions of ZFC.

Kurs im HIS-LSF