Forcing

Concept

Set-theoretic technique for constructing models; central to Cohen's independence results and multiverse projects.

Mentioned in 1 video