MATH 512 Advanced Topics in Logic: Combinatorial Set Theory

Spring 2019

Instructor: Dima Sinapova

Class Meets: MWF 12:00 - 12:50 in TH 320
Office: 421 SEO
Office Hours: Mon 10am -12pm
phone: (312)-996-2371


This course is on applications of forcing and large cardinals to infinitary combinatorics. We will start with an introduction to cardinal arithmetic, especially at singular cardinals, large cardinals, and forcing techniques. Then we will analyze their interactions with combinatorial principles like square, the tree property, and strengthenings of the tree property such as ITP. Here is a tentative breakdown of topics:

Homework and grading

There will be occasional homework assignments.