Cohen overcounted: an existence proofCH is not proven independent, and the door for Woodin's Ultimate L program is open.Holobrine·May 29·8 min readmathcontinuum hypothesisforcingΩ-logic
The Ω Conjecture holds in every syntactically reachable caseHolobrine·May 28·9 min readmathcontinuum hypothesisforcingΩ-logic
