Course Syllabus

Math 280B Winter 2025

Instructor Contact Information:

Isaac Goldbring
Email: isaac@math.uci.edu
Homepage:  https://www.math.uci.edu/~isaac/

Office: RH 417
Office Hours: Mondays at 9am by Zoom. Zoom link Links to an external site.

Course Information:

• Text: “Mathematical logic and set theory” Notes by D.A. Martin. Download “Mathematical logic and set theory” Notes by D.A. Martin.

    I also recommend Marker's recent book An Invitation to Mathematical Logic Links to an external site.

• Course Description: We will cover Sections 3 and 4 of the notes, which treat Model theory and Incompleteness respectively.

• Class Meetings: There will be 2 class meetings every week:  Tuesday and Thursday, 10-11:20 in RH 340N.

• Homework: There will be 3 problem sets due on the Fridays of Weeks 3, 6, and 9. While there will be around 8-10 problems assigned for each set, I will only grade 4 problems from each set. Each problem will be worth 25 points, making each problem set worth 100 points.  Please type up your solutions to the assignments.  Assignments will be uploaded to Canvas and will be due at 10pm.

• Final Exam There will be a take-home final exam given to you on Monday, March 10 in class and due Monday, March 17, by 10am. The final exam will also be worth 100 points.

  Grading Scale:

  97-100 A+

  92-96.9 A

  90-91.9 A-

  87-89.9 B+

  82-86.9 B

  80-81.9 B-

  77-79.9 C+

  72-76.9 C

  70-71.9 C-

  67-69.9 D+

  62-66.9 D

  60-61.9 D-

  < 60 F

  Any curving will take place after the final exam and will be at the discretion of the instructor.