F

Forcing

Tool / Product

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

Mentioned in 1 video