# Axiomatic Set Theory

## Spring 2023

Instructor: Dima Sinapova

Class Meets: M Th 12:10 - 1:30 in Hill 425

Office: Hill 230

Office Hours: Th 10-11, and by appointment

e-mail: dima.sinapova@rutgers.edu

### Description

This is a first graduate course in set theory. The primary goal is to show the independence of the continuum hypothesis (CH).
We will cover the axioms of set theory (ZFC), ordinals, cardinals, the Constructible Universe L, and the proof that ZFC+CH holds in L. Then we will go over the method of forcing and use it to show the consistency
of not CH. Finally, we will discuss other applications of forcing, for example, Prikry type forcing, forcing iterations, and forcing axioms.
Here is a tentative breakdown of topics:
- Ordinals and cardinals. Cardinal arithmetic, ZFC axioms

- Godels' Constructible Universe L.

- Forcing I: basic definitions and examples including the Levy collapse, the Cohen poset, Prikry forcing. Iterated forcing

- Forcing II: further applications, Prikry forcing, Iterated forcing, MA, the Suslin hypothesis

### Text:

- None required - the class notes will be enough. As a supplementary reading and reference, see Kenneth Kunen,
*Set Theory,* College Publications, 2011.

### Homework and grading

There will be regular homework assignments, which will be posted online. The grade will be based on the homework.