9.1 Forcing
An introduction to forcing, generic filters, forcing names, the forcing relation, and the basic extension theorem.
Tag
Forcing
3 notes
Chapter 9. Advanced Set Theory
Forcing, large cardinals, descriptive set theory, determinacy principles, and applications in analysis and topology.
8.5 Independence Phenomena
Independence results in set theory, including the axiom of choice and the continuum hypothesis, and the methods used to establish independence.