Forcing
Concept
Set-theoretic technique for constructing models; central to Cohen's independence results and multiverse projects.
Mentioned in 1 video
Set-theoretic technique for constructing models; central to Cohen's independence results and multiverse projects.