MATH 512 Advanced Topics in Logic: Forcing and Large Cardinals

Spring 2017

Instructor: Dima Sinapova

Class Meets: MWF 2:00 - 2:50 in TH 320
Office: 421 SEO
Office Hours: Mon 1pm, Wed 11am
phone: (312)-996-2371


I plan to cover large cardinals, iterated forcing, Prikry type forcing, and applications to infinitary combinatorics, singular cardinals, square principles, and the tree property. Here is a tentative breakdown of topics:

Homework and grading

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