Math 277, Mathematical Logic, Autumn Quarter 2018

Course: TTh 12:30-1:50, E 206.
This course continues as Math 278 in the Winter Quarter.

Course instructor: M. Malliaris, E 406.
Office hours: Monday 9:45-11am and Thursday 10-11am, and by appointment.
exception: no office hour on October 29 after the midterm

Course assistant: I. Scott, E 12
Office hours: Tuesday 17-18.00 and Weds 14.30-16.30

Problem Session: Thursday 17-18.00, Ryerson 358

References (suggested, not required): Chang and Keisler, Model Theory, third edition (Dover).
You may also enjoy looking at Enderton's Mathematical Introduction to Logic.

Midterm: Thursday, October 25, in class (Thursday of fourth week).

Final Exam: on the preliminary exam schedule, Tuesday, December 11, 1:30 PM - 3:30 PM.


  • Week 1 documents : Syllabus, Homework 1. Note the time and place homework is due. (Per Canvas announcement: before 4pm in Scott's mailbox in the basement of Eckhart.)

  • Week 2 documents : Homework 2. I also distributed handouts from Cohen and Jech (ask me if you did not receive one) and added an additional challenge problem.


    It is the policy of the Department of Mathematics that the following rules apply to final exams in all undergraduate mathematics courses:
  • The final exam must occur at the time and place designated on the College Final Exam Schedule. In particular, no final examinations may be given during the tenth week of the quarter, except in the case of graduating seniors.
  • Instructors are not permitted to excuse students from the scheduled time of the final exam except in the cases of an Incomplete, or a graduating senior.