⊢
Forcing
★★★★★Graduate+
📖Definition
A technique used to prove independence results in set theory. Used by Cohen to prove the independence of the continuum hypothesis.
🔗Related Documents
→Prerequisites
←Next Topics
⚡Applications
#logic#set-theory#forcing