Math 114L
Spring 2018
Mathematical Logic

Instructor: Donald A. Martin; MS 7935 and Dodd 355;

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.

  1. Exercises 1.1, 1.2, 1.3, and 1.4. Due April 11.
  2. 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.)
  3. Exercises 2.6 (3), 2.6 (4), 3.5, and 3.6. Due April 25.

Practice Problems