Steve Jackson 6010 Notes

Introduction to ordinals: ordinals

Examples of ordinal arithmetic: examples

Axioms of Set Theory: axioms

Introduction to Cardinals: cardinals

The c.u.b. filter and Silver's Theorem: cub

First order logic and the Incompleteness Theorem: incompleteness

Absoluteness, skolem functions: absoluteness

V _κ, H _κ, and HOD: HOD

Introduction to Forcing: forcing

The continuum hypothesis: continuum

Product Forcing and Easton's Theorem: products

Diamond and Suslin's Hypothesis: diamond

Iterations and Martin's Axiom: iterations

Applications of Martin's Axiom: Applications of MA