Math 220C, Mathematical Logic and Set Theory.

Instructor: Itay Neeman.
Office: MS 6334.
Email:
Phone: 794-5317.
Office hours: MW 12-1pm.

Time and Place: MWF 1-1:50pm, in MS 5148.

Text: Notes on Set Theory by D.A. Martin will be distributed in class. Some exercises will be assigned from Kunen's book Set theory, an introduction to independence proofs. Additional exercises will come from handouts distributed in class and posted on this webpage, and from past qualifying exams.

Grading: The final grade will be based on homework (roughly 35%), and a final exam (roughly 65%). Homework will be due every Monday at the start of class.

Homework exercises (all due at the start of class):

Assignment 1, due Monday April 5: Exercises 1.1 and 1.2 in the Martin Notes, and Exercise 1 in Chapter 1 of Kunen.

Assignment 2, due Monday April 12: Exercises 2, 3, 4, and 5 (excluding part c) in Chapter 1 of Kunen.

Assignment 3, due Monday April 19: Exercises A, B, C, D, E, and F in this handout.

Assignment 4, due Monday April 26: Exercises G, H, I, and J in this handout.

Assignment 5, due Monday May 3: Exercises K, L, M, and P in this handout, and exercises 1.5, 1.6 in the Martin Notes. In P you need only sketch the proof, but make sure to sketch all components.

Assignment 6, due Monday May 10: Exercises N, S, T, and U in this handout. In U you need only sketch the proof, but make sure to indicate all differences with the similar proof we did in class.

Assignment 7, due Monday May 17: Exercises Q, R in this handout, and questions 2 and 4 in the Fall 2003 qualifying exam.

Assignment 8, due Monday May 24: Questions 3 and 6 in the Winter 2004 qualifying exam, and exercises 51 and 52 in Chapter 2 of Kunen.

Assignment 9, due Friday June 4: Questions 3 and 6 in the Fall 2003 qualifying exam, Question 7 in the Winter 2004 qualifying exam, and Question 5 in the Spring 2010 qualifying exam. (In Question 3, $\alpha$ and $\beta$ should be infinite throughout. In Question 7, assume $V=L$.)