Math 220C
Spring 2014
Mathematical Logic and Set Theory

Room and time: M 2-2:50 in MS 6627; WF 1-1:50 in MS 6201.

Instructor: D.A. Martin; MS 7935 and Dodd 355; dam@math.ucla.edu.

Office hours: M 3-4; W 12-1; F 11:30-12:30; all in MS 7935.

Grading: Homework (50%); Take-home final exam (50%).

Text: The text is Chapters 6 and 7 of the Moschovakis notes for Math 220ABC. Here are Chapters 1-5.
Appendix 1
Appendix 2
Appendix 3

Content: The first half of the quarter will be be devoted to an introduction to formal axiomatic set theory, and the second half will be devoted to Gödel's proof of the consistency of the Generalized Continuum Hypothesis.

Homework:

1. Problems x6.8, x6.9, x6.10, x6.11. Due Monday, April 14.
2. Proofs of parts (2)-(5) of Theorem 6C.9; Problems x6.29 and x6.32. Due Friday, April 25.
3. Problem x6.43, the (1)=>(7) part of Problem x6.41 (using ordinal recursion), and (optional) Problem x6.42.
4. Problems x7.1, x7.2, x7.8, x7.9, x7.10, and Exercise in Appendix 3.