MATH 512: Advanced Topics in Logic

Spring 2013

Instructor: Dima Sinapova

Class Meets: MWF 2:00 - 2:50 in LH 103
Office: 421 SEO
Office Hours: MW 11-12
phone: (312)-996-2371


I plan to cover stationary sets, large cardinals, proper forcing and consistency of the proper forcing axiom (PFA). Here is a tentative breakdown of topics:

Homework and grading

There will be some homework assignments, which will be posted online.