16:640:561: Mathematical Logic
Spring 2024
Instructor: Dima Sinapova
Class Meets: MW 2:00 - 3:20 in Hill 525
Office: Hill 230
Office Hours: M 12-2
e-mail: dima.sinapova@rutgers.edu
Description
This is a first year graduate class in logic. We will go over the basics of model theory and computability, and cover the completeness
and incompleteness theorems. Here is a breakdown of topics:
- Language, theories and models
- Completeness and Compactness theorems
- Introduction to computability
- Godel's Incompleteness theorem
Homework and grading
There will be regular homework assignments, which will be posted online.
Lecture notes
We will be mostly using Dave Marker's notes 502 lecture notes