I shall be teaching Mathematical Logic, Math 712 at the CUNY Graduate Center in Spring 2017. The course is 4.5 credits, and it will meet Tuesdays and Thursdays, 2:00 pm – 3:30 pm. There are no official pre-requisites, other than a willingness to engage with graduate-level mathematics. Students will benefit from having taken the first semester logic course, Math 711.
Course Description. This course is a graduate introduction to mathematical logic, in which we shall cover a variety of topics united by the theme of Gödel’s incompleteness theorem. In particular, during the semester we shall give several independent proofs of that theorem and its generalizations from different perspectives. We shall do so in the context of our studies of computability theory, decidability, strongly undecidable structures, the arithmetic hierarchy, arithmetization, definability and selected topics in proof theory, model theory and set theory, including the hierarchy of consistency strength. Students will complete weekly problem sets and write a term paper.
Check back here later for further information about the course.
If possible, can you provide lecture notes or problem sets for this course? Any alternatives/other references would be appreciated as well.
I’m sorry, but I think I no longer have these lecture notes. I am writing a book, however, Topics in Logic, that pursues many of the same themes. The book, alas, is still very much in progress and not yet available.