Spring 2018

Mathematical Logic

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

** Teaching Assistant: **Assaf Shani; MS 2344.

**Lectures: ** MWF 10:00-10:50; MS 5127.

**Section: **T 10:00-10:50; MS 5127.

**Text:**The text will be a set of notes made available here, gradually
over the quarter. Notes made available so far.

**Martin Office Hours: **In MS 7935; Monday 12-1,
Wednesday 11-12, and Fridays 1-2.

**Grading:**
Homework (10%); 2 Midterm Exams (50%); Final Exam (40%). First midterm Wednesday, April 25

**Content:**
First-order languages. Models, truth, and logical implication.
Formal deduction. Soundness and completeness theorems for the system of
formal deduction. Compactness and Loewenheim-Skolem theorems. Peano
Arithmetic. Incompleteness theorems.

** Homework:** Homework will be assigned here and will be collected
in class each Wednesday except the first one. No late homework will be
accepted, but the lowest homework score will be dropped.

- Exercises 1.1, 1.2, 1.3, and 1.4. Due April 11.
- Exercises 2.1, 2.2, 2.3, 2.4, and 2.5. Due April 18. For Exercise 2.1,
you may assume that if
*s*and*s*' agree on all variables occuring in a term*t*then the denotation of*t*in any model under the two assignments is the same. (This can be proved by induction on length.) - Exercises 2.6 (3), 2.6 (4), 3.5, and 3.6. Due April 25.

**Practice Problems**

- Deduction: Exercises 3.1, 3.2, 3.3, and 3.4.
- Definitions: Exercise 2.7.
- Induction on length: Extra Problem 1.