Math 220A Fall 2009
Mathematical Logic and Set Theory

Room and Time

• MS 5233

• MWF 10:00-10:50

Instructor

• D.A. Martin

• Offices: MS 7935 and Dodd 355

• Office hours: Monday 2:30-3:30 in Dodd 355; Wednesday 2:00-3:00 in Dodd 355; Friday 11:30-12:30 in MS 7935. Office hours for Exam week: Office Hours for exam week

• Email Address: dam@math.ucla.edu

Grading

• Homework (50%)

• Final Exam (50%)

The final exam is to be turned in (by email, in either of my mailboxes, or to me directly) by 5:00 PM on Friday, Dec.~11.

• Do any seven of the eight problems.
• It was okay to work with one another on the homework, but it is not okay to do this on the exam.
• On problem 2: Answer the questions asked for an arbitrary fixed countable signature. (This can be done, because the answers are independent of the signature.)

Homework will be assigned on (almost each) Wednesday and will normally be due the next Wednesday by 5:00 PM. The homework assignments will be posted on this webpage. No late homework will be accepted, but one or even two missed homework assignments will not have a serious effect on the course grade.

Text

The text for 220A and 220B will be a slight variant of a set of notes written by Yiannis Moschovakis. These notes will be distributed gradually over the course of the quarter. At any time, the portion of the notes that have been distributed will be posted here.

Content

Mathematics 220A is the first quarter of a three-quarter introduction to mathematical logic. The first part of 220A will be an introduction to first order logic: semantics, formal deduction, and relations between the two. This part of the course will culminate with the fundamental Completeness, Compactness, and Skolem-Löwenheim Theorems. The latter part of the quarter will be devoted to model theory.

Homework

1. Problems 1B.1 and 1B.2. Due Wednesday, October 7.
2. Problems 1C.1.2 and 1C.5. Due Wednesday, October 14.
3. Problems 1E.1, 1E.3, and 1E.4. Due Wednesday, October 21.
4. Problems 1F.2 and 1F.4. Due Wednesday, October 28.
5. Problems 1H.5, 1H.6, and 1H.8. Due Wednesday, November 4.
6. Problems 1J.3, 1J.4, 1J.9, and 1J.10. Due Wednesday, November 18.
7. Problems 2A.4 and 2A.5. Due Wednesday, November 25.