F

Forcing

Tool / ProductMentioned in 1 video

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