9.1 Forcing
An introduction to forcing, generic filters, forcing names, the forcing relation, and the basic extension theorem.
5 notes
An introduction to forcing, generic filters, forcing names, the forcing relation, and the basic extension theorem.
Incompleteness, undecidability, independence, practical implications, and future directions in logic and foundations.
Independence results in set theory, including the axiom of choice and the continuum hypothesis, and the methods used to establish independence.
Axiom of Choice, equivalent formulations, constructible universe, consistency results, and independence phenomena.
Statements that cannot be proved or refuted from a chosen axiom system, and what independence means in mathematical practice.