Proof sketch of Hugh Woodin's Ω conjectureSet theoretic forcing is a type system.Holobrine·May 26·8 min readtype systemRustlarge cardinalswoodin