Instructor: Itay Neeman.
Office: MS 6334.
Office hours: Mondays and Wednesdays, 1-2pm.
Time and Place: Mondays and Wednesdays, 2-3:15pm, in MS 5148.
Material: The technique of forcing was introduced by Cohen to prove the independence of the Continuum Hypothesis from the axioms of mathematics. The class will cover several applications of this technique:
Text: We will use the book Set Theory, an Introduction to Independence Proofs, by Kenneth Kunen, for iterated forcing. For forcing over models of determinacy we will use the papers Two consequences of determinacy consistent with choice by Steel and Van-Wesep, and Some consistency results in ZFC using AD by Woodin.
Grading and assignments: Students will be asked
to solve assigned questions from Kunen's book in the first part of the class.
Grading will be based on the solutions.